4 Commits

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