mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-10 02:16:08 +00:00
Code Issues Projects Releases Wiki Activity
50,012 Commits 1,258 Branches 288 Tags
Commit Graph

544 Commits

Author SHA1 Message Date
Ted Kremenek
537f6387a2 Second attempt at implementation transfer function support for ObjCForCollectionStmt. We now assume that the 'element' expression can be any lvalue. 
llvm-svn: 59313
 2008-11-14 19:47:18 +00:00
Ted Kremenek
8959a1a69a Flow-sensitive uninitialized values analysis: properly handle the 'element' expression of ObjCForCollectionStmt (can be anything). 
llvm-svn: 59312
 2008-11-14 18:21:25 +00:00
Douglas Gregor
993603d80d Add a new expression node, CXXOperatorCallExpr, which expresses a 
function call created in response to the use of operator syntax that
resolves to an overloaded operator in C++, e.g., "str1 +
str2" that resolves to std::operator+(str1, str2)". We now build a
CXXOperatorCallExpr in C++ when we pick an overloaded operator. (But
only for binary operators, where we actually implement overloading)

I decided *not* to refactor the current CallExpr to make it abstract
(with FunctionCallExpr and CXXOperatorCallExpr as derived
classes). Doing so would allow us to make CXXOperatorCallExpr a little
bit smaller, at the cost of making the argument and callee accessors
virtual. We won't know if this is going to be a win until we can parse
lots of C++ code to determine how much memory we'll save by making
this change vs. the performance penalty due to the extra virtual
calls.

llvm-svn: 59306
 2008-11-14 16:09:21 +00:00
Zhongxing Xu
c967d03528 Improve comments. 
llvm-svn: 59294
 2008-11-14 09:23:38 +00:00
Ted Kremenek
99d4ff3c7a Handle the case where 'element' in ObjCforCollectionstmt is not a DeclStmt or DeclRefExpr. 
llvm-svn: 59290
 2008-11-14 01:58:12 +00:00
Ted Kremenek
a9d3e6c087 Rename header file. 
Update include files.

llvm-svn: 59284
 2008-11-14 01:14:18 +00:00
Ted Kremenek
7d5389e4b3 - Revert r59229 and r59232: AllocRegion should be immutable. 
- Temporarily disabled test Analysis/array-struct.c for region store.

llvm-svn: 59245
 2008-11-13 15:42:31 +00:00
Zhongxing Xu
d4e72fca45 Process array base expression of any type. 
llvm-svn: 59240
 2008-11-13 09:48:44 +00:00
Zhongxing Xu
189a30796a Array index might be unsigned. We have to generate a temporary signed value for 
it to be evaluated by APSInt::operators.

llvm-svn: 59238
 2008-11-13 09:15:14 +00:00
Zhongxing Xu
29188c2948 Incomplete struct pointer can be used as a function argument. 
llvm-svn: 59235
 2008-11-13 08:41:36 +00:00
Zhongxing Xu
0dbeeaa886 Lift the pointer to alloca'ed region to the pointer to its first element. 
This is required by some operations, e.g., *p = 1; p[0] = 1;.
Also set the AllocaRegion's type during the cast.

llvm-svn: 59232
 2008-11-13 07:58:20 +00:00
Zhongxing Xu
a70987eb82 Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion's 
type when assigning to it.

llvm-svn: 59229
 2008-11-13 07:30:58 +00:00
Ted Kremenek
16866d6fd8 GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) of vector types. Add explicit checks that when we process integers that they really are scalars. 
llvm-svn: 59225
 2008-11-13 06:10:40 +00:00
Ted Kremenek
75db6d7529 Fix uninitialized variable. 
llvm-svn: 59222
 2008-11-13 05:26:15 +00:00
Ted Kremenek
45698bf05f GRExprEngine::VisitInitListExpr: 
- Don't crash on vector types.
- Handle typedefs.

llvm-svn: 59220
 2008-11-13 05:05:34 +00:00
Ted Kremenek
65dd30fdea Update CFGStmtVisitor to recognize that ObjCForCollectionStmts are special block-level "expressions". 
llvm-svn: 59176
 2008-11-12 21:58:46 +00:00
Ted Kremenek
df31792a66 Shore up transfer function for ObjCForCollectionStmt. 
llvm-svn: 59162
 2008-11-12 21:12:46 +00:00
Ted Kremenek
97450fe0a1 Use Stmt* instead of Expr* for block-level expression. 
llvm-svn: 59161
 2008-11-12 21:12:18 +00:00
Ted Kremenek
1781080c34 Add (preliminary) transfer function support for ObjCForCollectionStmt. Still need to flesh out some logic. 
When processing DeclStmt, use the new interface to StateManager::BindDecl.  Conjuring of symbols is now done in VisitDeclStmt.

llvm-svn: 59155
 2008-11-12 19:24:17 +00:00
Ted Kremenek
9999d72fe2 Conjured symbols now bind to Stmt* instead of Expr*. 
llvm-svn: 59154
 2008-11-12 19:22:47 +00:00
Ted Kremenek
60d46414f4 Update method names involving GRStateRef. No functionality change. 
llvm-svn: 59153
 2008-11-12 19:22:09 +00:00
Ted Kremenek
b94d72a0e3 GRStateRef: 
- Rename SetSVal to BindLoc
- Add BindDecl
- Add BindExpr

GRState:
- Environment now binds to Stmt* instead of Expr*.  This is needed for processing ObjCForCollectionStmt (essentially the declaration of the the 'element' variable can have an SVal attached to it).
- BindDecl no longer accepts Expr* for the initialization value; use SVal* instead.

llvm-svn: 59152
 2008-11-12 19:21:30 +00:00
Ted Kremenek
cd639218e4 StoreManager::BindDecl now takes an SVal* for the initialization value instead of an Expr* (which can be null). Lazy symbolication of conjured symbols is now the sole responsibility of GRExprEngine. 
llvm-svn: 59151
 2008-11-12 19:18:35 +00:00
Ted Kremenek
7a18858bcf Flow-sensitive uninitialized values analysis: 
- Added support for ObjCForCollectionStmt
- Fixed bug where expression values would be always set to uninitialized when loops were involved

llvm-svn: 59076
 2008-11-11 19:41:42 +00:00
Ted Kremenek
3b4e1d5cc6 Accesses to a collection within a fast enumeration 'for' statement constitute a 'use'. 
llvm-svn: 59075
 2008-11-11 19:40:47 +00:00
Sebastian Redl
6f28289aca Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expressions, both of values and types. 
llvm-svn: 59057
 2008-11-11 17:56:53 +00:00
Ted Kremenek
fbd2f4006b Add transfer function support for ObjCForCollectionStmt to LiveVariables. 
llvm-svn: 59053
 2008-11-11 17:42:10 +00:00
Zhongxing Xu
deb7cac332 Fix StringLiteral print bug. 
llvm-svn: 59015
 2008-11-11 01:36:32 +00:00
Zhongxing Xu
bba5c7c629 Add pretty printing to StringRegion. 
llvm-svn: 58985
 2008-11-10 13:05:26 +00:00
Zhongxing Xu
18d6fd45de Implement RegionStoreManager::RemoveDeadBindings(). This prunes several false warning caused by removal of symbolic constraints. Currently we just mark all symbols live. Further optimization for dead binding removal needed. 
llvm-svn: 58982
 2008-11-10 09:39:04 +00:00
Zhongxing Xu
1c31dbe417 Print integer value instead of raw pointer. This is a hack to be fixed by migrating the output in analyzer to llvm::raw_ostream. 
llvm-svn: 58965
 2008-11-10 05:00:06 +00:00
Chris Lattner
231f7bbdbe silence a warning from gcc. 
llvm-svn: 58956
 2008-11-10 03:00:37 +00:00
Zhongxing Xu
3d43015bc7 Add a boilerplate for out-of-bound array checking. This has no real function currently. 
llvm-svn: 58886
 2008-11-08 03:45:42 +00:00
Zhongxing Xu
2c677c34d5 Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is 
available, things get much simplified.

One addition is that CompoundLiteralExpr can appear both in rvalue and lvalue
context.

llvm-svn: 58837
 2008-11-07 10:38:33 +00:00
Zhongxing Xu
e79a4e667b Make the assertion real. 
llvm-svn: 58833
 2008-11-07 08:57:30 +00:00
Ted Kremenek
ab4782510b Fix regression with handling of CFMakeCollectable. 
llvm-svn: 58771
 2008-11-05 22:17:20 +00:00
Ted Kremenek
2855a93f07 initXXX methods can return owned objects 
llvm-svn: 58758
 2008-11-05 16:54:44 +00:00
Douglas Gregor
8ea1f53420 Add a new expression class, ObjCSuperExpr, to handle the Objective-C 'super'. Remove ObjCThis from PredefinedExpr 
llvm-svn: 58698
 2008-11-04 14:56:14 +00:00
Ted Kremenek
24b1d9f57e Handle prefix '_' that may appear in front of the name of 'Release' functions 
llvm-svn: 58666
 2008-11-04 00:36:12 +00:00
Zhongxing Xu
c8c71979a6 Add some notes for SCA. 
llvm-svn: 58597
 2008-11-03 06:04:23 +00:00
Zhongxing Xu
8ea09cc542 Fix 80-col violations. 
llvm-svn: 58596
 2008-11-03 05:18:34 +00:00
Zhongxing Xu
2d330ef8fa - Remove AnonTypedRegion, which is not to be used. 
- Prepare AnonPointeeRegioin for later use.

llvm-svn: 58595
 2008-11-03 04:12:24 +00:00
Zhongxing Xu
2e8e604704 1. When a pointer to struct is used as an argument, GRSimpleVals::EvalCall() 
sets the whole struct to Unknown. Then we cannot assume the V passed to
   BindStruct() is always a CompoundVal. When it is an UnknownVal, we call
   BindStructToVal(UnknownVal).

2. Change the signature of InitializeStructToUndefined() to BindStructToVal()
   to reuse the code.

llvm-svn: 58564
 2008-11-02 12:13:30 +00:00
Ted Kremenek
b9b794d60b Enhance return-of-stack-address checker to recognize regions created by alloca(). 
llvm-svn: 58553
 2008-11-02 00:35:25 +00:00
Ted Kremenek
9bf363979d Add transfer function logic for alloca(). 
llvm-svn: 58552
 2008-11-02 00:35:01 +00:00
Ted Kremenek
16783cfc31 Added AllocaRegion, which represents regions created by calls to alloca(). 
llvm-svn: 58551
 2008-11-02 00:34:33 +00:00
Ted Kremenek
59ae7c0fd5 Comment out invalid assertion. I'm leaving it in the code for now as a reminder to produce a test case. 
llvm-svn: 58510
 2008-10-31 15:33:11 +00:00
Zhongxing Xu
73f006e800 Simplify interface. We can get canonical type from the base region directly. No need for an extra type argument. 
llvm-svn: 58507
 2008-10-31 11:02:48 +00:00
Zhongxing Xu
b393b5080c Implement struct initialization for SCA. 
llvm-svn: 58506
 2008-10-31 10:53:01 +00:00
Zhongxing Xu
98bb1fa69e Implement array initialization for SCA. 
llvm-svn: 58504
 2008-10-31 10:24:47 +00:00