forked from OSchip/llvm-project
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
This commit is contained in:
parent
66f8fe18ef
commit
238d0b6ecd
|
@ -1,6 +1,5 @@
|
|||
// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s &&
|
||||
// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s
|
||||
// XFAIL
|
||||
|
||||
void f() {
|
||||
long x = 0;
|
||||
char *y = (char*) &x;
|
|
@ -0,0 +1,7 @@
|
|||
// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s
|
||||
// XFAIL
|
||||
void f() {
|
||||
long x = 0;
|
||||
char *y = (char*) &x;
|
||||
char c = y[0] + y[1] + y[2]; // no-warning
|
||||
}
|
Loading…
Reference in New Issue