replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
62,900 Commits 2 Branches 0 Tags 1.8 GiB
Commit Graph

9 Commits

Author SHA1 Message Date
Ted Kremenek eea582f04f This test currently only passes for 32-bit archs. 
llvm-svn: 75698
 2009-07-14 22:58:18 +00:00
Ted Kremenek 0c37d19fea Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do this by silently wrapping the region with an ElementRegion. This fixes the failures in misc-ps-region-store.m. 
llvm-svn: 75679
 2009-07-14 20:48:22 +00:00
Ted Kremenek b63f71528e Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case 
where we are comparing a symbolic value against itself, regardless of
the nature of that symbolic value.

This enhancement identified a case where RegionStoreManager is not
correctly symbolicating the values of the pointees of parameters.  The
failing test is now in 'test/Analysis/misc-ps-region-store.m', with
that test file now (temporarily) marked XFAIL.

llvm-svn: 75521
 2009-07-13 21:55:12 +00:00
Daniel Dunbar a45cf5b6b0 Rename clang to clang-cc. 
Tests and drivers updated, still need to shuffle dirs.

llvm-svn: 67602
 2009-03-24 02:24:46 +00:00
Ted Kremenek fa3d77bc2c Retrofit some basic tracking of ivars (for the current object) into BasicStore. 
llvm-svn: 66166
 2009-03-05 18:08:28 +00:00
Ted Kremenek 77a3cb2dfa Add test case for RegionStore's tracking of the ivars of 'self'. 
llvm-svn: 66136
 2009-03-05 04:55:08 +00:00
Ted Kremenek 33129a26f7 Add prototype support for invalidating fields for structures passed-by-reference 
to unknown functions. Most of this logic should be eventually moved to
RegionStore and be made lazy.

llvm-svn: 66094
 2009-03-04 22:56:43 +00:00
Ted Kremenek b535181199 Static Analyzer driver/options (partial) cleanup: 
- Move all analyzer options logic to AnalysisConsumer.cpp.
- Unified specification of stores/constraints/output to be:
   -analyzer-output=...
   -analyzer-store=...
   -analyzer-constraints=...
  instead of -analyzer-range-constraints, -analyzer-store-basic, etc.
- Updated drivers (ccc-analyzer, scan-builds, new ccc) to obey this new
  interface
- Updated test cases to conform to new driver options

llvm-svn: 64737
 2009-02-17 04:27:41 +00:00
Ted Kremenek 556c3709d6 The 'misc-ps.m' test case now passes with RegionStore. One case needed to be split out into 'misc-ps-basic-store.m' and 'misc-ps-region-store.m' because the behavior was different between the two store models (RegionStore flags an additional valid bug). 
llvm-svn: 62772
 2009-01-22 18:53:15 +00:00