Ted Kremenek
|
4ef13f8ac9
|
Add clang-cc option "--analyzer-experimental-internal-checks". This
option enables new "internal" checks that will eventually be turned on
by default but still require broader testing.
llvm-svn: 88671
|
2009-11-13 18:46:29 +00:00 |
|
Zhongxing Xu
|
4f7759a339
|
Reimplement out-of-bound array access checker with the new checker interface.
Now only one test case is XFAIL'ed.
llvm-svn: 86834
|
2009-11-11 12:33:27 +00:00 |
|
Daniel Dunbar
|
8b57697954
|
Eliminate &&s in tests.
- 'for i in $(find . -type f); do sed -e 's#\(RUN:.*[^ ]\) *&& *$#\1#g' $i | FileUpdate $i; done', for the curious.
llvm-svn: 86430
|
2009-11-08 01:45:36 +00:00 |
|
Ted Kremenek
|
4301526e8d
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
OldCastRegion used), and the associated command line option
'-analyzer-store=old-basic-cast'.
llvm-svn: 77509
|
2009-07-29 21:43:22 +00:00 |
|
Ted Kremenek
|
e057d4e5a9
|
Rename test file.
llvm-svn: 75297
|
2009-07-10 21:48:43 +00:00 |
|
Ted Kremenek
|
238d0b6ecd
|
Rename no-outofbounds.c to xfail-no-outofbounds.c and split off that
test into a separate file to monitor the fact that BasicStoreManager
passes the test.
llvm-svn: 70859
|
2009-05-04 14:31:19 +00:00 |
|
Zhongxing Xu
|
6ebde279ae
|
array indexes are unsigned integers of the same width as pointer.
no-outofbounds.c still fails. Previously it passed because the array index
is mistakenly a loc::ConcreteInt.
llvm-svn: 70844
|
2009-05-04 08:52:47 +00:00 |
|
Ted Kremenek
|
758fda4274
|
BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.
StoreManager: Handle casts from one element region to another.
Update test cases.
llvm-svn: 70836
|
2009-05-04 07:04:36 +00:00 |