Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 9ed9a250180f19b2c44df83a196fc3a2ac82f817 / test / Analysis / misc-ps-region-store-i386.m
  1. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 14 years ago
  2. a572887 Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 15 years ago
  3. ef74f4c Replace clang-cc with clang -cc1. by Zhongxing Xu · 15 years ago
  4. 8a90ac0 Normalize options to use '-FOO' instead of '--FOO'. by Daniel Dunbar · 15 years ago
  5. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  6. 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
  7. 0c10699 Split out 'test2' into an i386 and x86_64 file, illustrating how the by Ted Kremenek · 15 years ago