mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-14 06:16:13 +00:00
Code Issues Projects Releases Wiki Activity
70,128 Commits 1,258 Branches 288 Tags
Commit Graph

265 Commits

Author SHA1 Message Date
Ted Kremenek
f3be44f191 Added method "getSelfRegion" to Store. This method returns the region associated with the "this" or "self" object (C++ and Objective-C respectively). 
llvm-svn: 58107
 2008-10-24 20:32:16 +00:00
Zhongxing Xu
e834fc1249 The Decl of an array region can be VarDecl or FieldDecl. Handle this in RegionStoreManager::ArrayToPointer(). 
llvm-svn: 58086
 2008-10-24 09:06:51 +00:00
Zhongxing Xu
729518be3a Implement struct initialization. Make it into a recursive function. Also make 
the array initialization code into a function.

llvm-svn: 58083
 2008-10-24 08:42:28 +00:00
Zhongxing Xu
1359e00f9c Add printing method to RegionStoreManager. 
llvm-svn: 58074
 2008-10-24 06:01:33 +00:00
Zhongxing Xu
c7796d347d Fix 80-col violation. 
llvm-svn: 58070
 2008-10-24 04:33:15 +00:00
Zhongxing Xu
cebb741f68 Add a bunch of dummy methods to make RegionStoreManager non-virtual. 
llvm-svn: 58061
 2008-10-24 01:38:55 +00:00
Zhongxing Xu
a8d2cbe47f Added getLValueElement() to RegionStore. Only handle constant array for now. 
llvm-svn: 58058
 2008-10-24 01:09:32 +00:00
Ted Kremenek
6779f893b9 Make the analyzer store (memory model) a command line option. 
llvm-svn: 58056
 2008-10-24 01:04:59 +00:00
Zhongxing Xu
2fbc35443d Add a bunch of getLValue* methods to RegionStore. 
llvm-svn: 57977
 2008-10-22 13:44:38 +00:00
Douglas Gregor
5251f1b283 Preliminary support for function overloading 
llvm-svn: 57909
 2008-10-21 16:13:35 +00:00
Zhongxing Xu
8f6855e642 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. 
llvm-svn: 57896
 2008-10-21 06:27:32 +00:00
Zhongxing Xu
83aff7079f Process decls in RegionStore. Individual elements of fixed size arrays are 
initialized to UndefinedVal.

llvm-svn: 57892
 2008-10-21 05:29:26 +00:00
Ted Kremenek
8b103c65c6 - constify some uses of MemRegion* (MemRegion should be immutable). 
- Added new region "SymbolicRegion", which maps symbol values to the region domain.
- Enhanced BasicStore::getFieldLValue() to return a FieldRegion (using SymbolicRegion)
- Added some utility methods to GRState for fetch svals from the store.
- Fixed regression in CheckNSError (we weren't getting the value bound to the parameter)

llvm-svn: 57717
 2008-10-17 20:28:54 +00:00
Zhongxing Xu
27f174214d This patch did the following renaming. There should be no functional changes. 
RVal => SVal
LVal => Loc
NonLVal => NonLoc
lval => loc
nonlval => nonloc

llvm-svn: 57671
 2008-10-17 05:57:07 +00:00
Zhongxing Xu
d9959aee34 This is the first step to implement a field-sensitive store model. Other things are simplified: no heap shape assumption, no parameter alias assumption, etc. 
llvm-svn: 57285
 2008-10-08 02:50:44 +00:00