diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-04-29 17:23:03 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-04-29 17:23:03 +0000 |
| commit | 49f888bbab84f3463940aa5cd251fc6b63c14da1 (patch) | |
| tree | 67e9008836051f10c59b72d60eda22cc66885cdc /clang/test/Analysis/casts.c | |
| parent | a44c1e6b63930c2e380d4c1f09ac47984ad67775 (diff) | |
| download | bcm5719-llvm-49f888bbab84f3463940aa5cd251fc6b63c14da1.tar.gz bcm5719-llvm-49f888bbab84f3463940aa5cd251fc6b63c14da1.zip | |
Revert "[analyzer] Model casts to bool differently from other numbers."
This seems to be causing quite a slowdown on our internal analyzer bot,
and I'm not sure why. Needs further investigation.
This reverts r180638 / 9e161ea981f22ae017b6af09d660bfc3ddf16a09.
llvm-svn: 180714
Diffstat (limited to 'clang/test/Analysis/casts.c')
| -rw-r--r-- | clang/test/Analysis/casts.c | 38 |
1 files changed, 3 insertions, 35 deletions
diff --git a/clang/test/Analysis/casts.c b/clang/test/Analysis/casts.c index 3e2f8077ede..087bd978e11 100644 --- a/clang/test/Analysis/casts.c +++ b/clang/test/Analysis/casts.c @@ -1,7 +1,6 @@ -// RUN: %clang_cc1 -triple x86_64-apple-darwin9 -analyze -analyzer-checker=core,alpha.core,debug.ExprInspection -analyzer-store=region -verify %s -// RUN: %clang_cc1 -triple i386-apple-darwin9 -analyze -analyzer-checker=core,alpha.core,debug.ExprInspection -analyzer-store=region -verify %s - -extern void clang_analyzer_eval(_Bool); +// RUN: %clang_cc1 -triple x86_64-apple-darwin9 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -verify %s +// RUN: %clang_cc1 -triple i386-apple-darwin9 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -verify %s +// expected-no-diagnostics // Test if the 'storage' region gets properly initialized after it is cast to // 'struct sockaddr *'. @@ -86,34 +85,3 @@ int foo (int* p) { } return 0; } - -void castsToBool() { - clang_analyzer_eval(0); // expected-warning{{FALSE}} - clang_analyzer_eval(0U); // expected-warning{{FALSE}} - clang_analyzer_eval((void *)0); // expected-warning{{FALSE}} - - clang_analyzer_eval(1); // expected-warning{{TRUE}} - clang_analyzer_eval(1U); // expected-warning{{TRUE}} - clang_analyzer_eval(-1); // expected-warning{{TRUE}} - clang_analyzer_eval(0x100); // expected-warning{{TRUE}} - clang_analyzer_eval(0x100U); // expected-warning{{TRUE}} - clang_analyzer_eval((void *)0x100); // expected-warning{{TRUE}} - - extern int symbolicInt; - clang_analyzer_eval(symbolicInt); // expected-warning{{UNKNOWN}} - if (symbolicInt) - clang_analyzer_eval(symbolicInt); // expected-warning{{TRUE}} - - extern void *symbolicPointer; - clang_analyzer_eval(symbolicPointer); // expected-warning{{UNKNOWN}} - if (symbolicPointer) - clang_analyzer_eval(symbolicPointer); // expected-warning{{TRUE}} - - int localInt; - clang_analyzer_eval(&localInt); // expected-warning{{TRUE}} - clang_analyzer_eval(&castsToBool); // expected-warning{{TRUE}} - clang_analyzer_eval("abc"); // expected-warning{{TRUE}} - - extern float globalFloat; - clang_analyzer_eval(globalFloat); // expected-warning{{UNKNOWN}} -} |
