61 Commits

Author	SHA1	Message	Date
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