@@ -31,7 +31,7 @@ void opaqueCondition(int arg) {
3131 for (int i = 0 ; i < arg ; i ++ )
3232 clang_analyzer_numTimesReached (); // expected-warning {{2}}
3333
34- clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
34+ clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
3535}
3636
3737int check (void );
@@ -45,7 +45,7 @@ void opaqueConditionCall(int arg) {
4545 while (check ())
4646 clang_analyzer_numTimesReached (); // expected-warning {{2}}
4747
48- clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
48+ clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
4949}
5050
5151void opaqueConditionDoWhile (int arg ) {
@@ -57,7 +57,7 @@ void opaqueConditionDoWhile(int arg) {
5757 clang_analyzer_numTimesReached (); // expected-warning {{2}}
5858 } while (i ++ < arg );
5959
60- clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
60+ clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
6161}
6262
6363void dontRememberOldBifurcation (int arg ) {
@@ -78,7 +78,7 @@ void dontRememberOldBifurcation(int arg) {
7878 i ++ ;
7979 }
8080
81- clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
81+ clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
8282}
8383
8484void dontAssumeFourthIterartion (int arg ) {
@@ -92,7 +92,7 @@ void dontAssumeFourthIterartion(int arg) {
9292 for (int i = 0 ; i < arg ; i ++ )
9393 clang_analyzer_numTimesReached (); // expected-warning {{3}}
9494
95- clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
95+ clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
9696}
9797
9898#define TRUE 1
@@ -111,7 +111,7 @@ void shortCircuitInLoopCondition(int arg) {
111111 for (int i = 0 ; i < arg && TRUE; i ++ ) {
112112 clang_analyzer_numTimesReached (); // expected-warning {{4}}
113113 }
114- clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
114+ clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
115115}
116116
117117void shortCircuitInLoopConditionRHS (int arg ) {
@@ -121,7 +121,7 @@ void shortCircuitInLoopConditionRHS(int arg) {
121121 for (int i = 0 ; TRUE && i < arg ; i ++ ) {
122122 clang_analyzer_numTimesReached (); // expected-warning {{2}}
123123 }
124- clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
124+ clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
125125}
126126
127127void eagerlyAssumeInSubexpression (int arg ) {
@@ -137,7 +137,7 @@ void eagerlyAssumeInSubexpression(int arg) {
137137 for (int i = 0 ; (i >= arg ) - 1 ; i ++ ) {
138138 clang_analyzer_numTimesReached (); // eagerlyassume-warning {{4}} noeagerlyassume-warning {{2}}
139139 }
140- clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
140+ clang_analyzer_warnIfReached (); // expected-warning {{REACHABLE}}
141141}
142142
143143void calledTwice (int arg , int isFirstCall ) {
0 commit comments