Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / a6275a534da701f37d19a068e6361e5f10f983a1 / test / Analysis / misc-ps-region-store.m
  1. a6275a5 More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. by Ted Kremenek · 15 years ago
  2. 0c10699 Split out 'test2' into an i386 and x86_64 file, illustrating how the by Ted Kremenek · 15 years ago
  3. b4aa484 This test currently only passes for 32-bit archs. by Ted Kremenek · 15 years ago
  4. 60fbe8f 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. by Ted Kremenek · 15 years ago
  5. 54ca9b1 Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case by Ted Kremenek · 15 years ago
  6. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 15 years ago
  7. f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 16 years ago
  8. aad45e0 Add test case for RegionStore's tracking of the ivars of 'self'. by Ted Kremenek · 16 years ago
  9. d104a09 Add prototype support for invalidating fields for structures passed-by-reference by Ted Kremenek · 16 years ago
  10. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  11. 2dabd42 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). by Ted Kremenek · 16 years ago