70 lines · cpp
1// RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=debug.ExprInspection %s2 3void clang_analyzer_eval(bool);4 5enum class Foo {6 Zero7};8 9bool pr15703(int x) {10 return Foo::Zero == (Foo)x; // don't crash11}12 13void testCasting(int i) {14 Foo f = static_cast<Foo>(i);15 int j = static_cast<int>(f);16 if (i == 0)17 {18 clang_analyzer_eval(f == Foo::Zero); // expected-warning{{TRUE}}19 clang_analyzer_eval(j == 0); // expected-warning{{TRUE}}20 }21 else22 {23 clang_analyzer_eval(f == Foo::Zero); // expected-warning{{FALSE}}24 clang_analyzer_eval(j == 0); // expected-warning{{FALSE}}25 }26}27 28enum class EnumBool : bool {29 F = false,30 T = true31};32 33bool testNoCrashOnSwitchEnumBool(EnumBool E) {34 switch (E) {35 case EnumBool::F:36 return false;37 }38 return true;39}40 41bool testNoCrashOnSwitchEnumBoolConstant() {42 EnumBool E = EnumBool::F;43 switch (E) {44 case EnumBool::F:45 return false; 46 }47 return true; 48}49 50typedef __INTPTR_TYPE__ intptr_t;51bool testNoCrashOnSwitchEnumBoolConstantCastedFromNullptr() {52 EnumBool E = static_cast<EnumBool>((intptr_t)nullptr);53 switch (E) {54 case EnumBool::F:55 return false;56 }57 return true;58}59 60bool testNoCrashOnSwitchEnumBoolConstantCastedFromPtr() {61 int X;62 intptr_t P = (intptr_t)&X;63 EnumBool E = static_cast<EnumBool>(P);64 switch (E) {65 case EnumBool::F:66 return false;67 }68 return true;69}70