Lines Matching refs:flag

30 int flag;  variable
34flag = coin(); // tracking-note-re{{{{^}}Value assigned to 'flag', which participates in a conditi… in foo()
39 flag = 1; in test()
42 if (flag) // expected-note-re {{{{^}}Assuming 'flag' is 0{{$}}}} in test()
49 if (flag) // expected-note-re {{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in test()
59 int flag; variable
63flag = coin(); // tracking-note-re{{{{^}}Value assigned to 'flag', which participates in a conditi… in foo()
68 flag = 1; in test()
71 if (flag) // expected-note-re {{{{^}}Assuming 'flag' is 0{{$}}}} in test()
80 if (flag) // expected-note-re {{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in test()
90 int flag; variable
95flag = coin(); // tracking-note-re{{{{^}}Value assigned to 'flag', which participates in a conditi… in foo()
103 flag = 1; in test()
111 if (flag) // expected-note-re {{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in test()
132 if (int flag = foo()) // debug-note-re{{{{^}}Tracking condition 'flag'{{$}}}} in test() local
337 int flag = getInt(); in f() local
339 if (flag) // expected-note-re{{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in f()
348 int flag; variable
353 flag = y; in f()
356 if (flag) // expected-note-re{{{{^}}'flag' is 1{{$}}}} in f()
365 int flag; variable
371flag = y; // tracking-note-re{{{{^}}The value 1 is assigned to 'flag', which participates in a con… in foo()
380 if (flag) // expected-note-re{{{{^}}'flag' is 1{{$}}}} in f()
389 int flag = 0; variable
393flag = getInt(); // tracking-note-re{{{{^}}Value assigned to 'flag', which participates in a condi… in foo()
402 y = flag; in f()
429 int flag = 0; in f() local
435 flag = i; in f()
437 if (flag) // expected-note-re{{{{^}}'flag' is not equal to 0{{$}}}} in f()
450 void f(int flag) { in f() argument
453 auto lambda = [&flag]() { in f()
454flag = getInt(); // tracking-note-re{{{{^}}Value assigned to 'flag', which participates in a condi… in f()
460 if (flag) // expected-note-re{{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in f()
473 void bar(int &flag) { in bar() argument
474flag = getInt(); // tracking-note-re{{{{^}}Value assigned to 'flag', which participates in a condi… in bar()
477 void f(int flag) { in f() argument
480 auto lambda = [flag]() { in f()
481 …if (!flag) // tracking-note-re{{{{^}}Assuming 'flag' is not equal to 0, which participates in a co… in f()
486 bar(flag); // tracking-note-re{{{{^}}Calling 'bar'{{$}}}} in f()
491 if (flag) // expected-note-re{{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in f()
504 void bar(int &flag) { in bar() argument
505flag = getInt(); // tracking-note-re{{{{^}}Value assigned to 'flag', which participates in a condi… in bar()
508 void f(int flag) { in f() argument
511 auto lambda = [&flag]() { in f()
512 …if (!flag) // tracking-note-re{{{{^}}Assuming 'flag' is not equal to 0, which participates in a co… in f()
517 bar(flag); // tracking-note-re{{{{^}}Calling 'bar'{{$}}}} in f()
522 if (flag) // expected-note-re{{{{^}}'flag' is not equal to 0{{$}}}} in f()
540 void f(bool flag) { in f() argument
543 check(flag); // tracking-note-re{{{{^}}Calling 'check'{{$}}}} in f()
546 if (flag) // expected-note-re{{{{^}}'flag' is true{{$}}}} in f()
564 void f(int flag) { in f() argument
567 assert(flag); // tracking-note-re{{{{^}}Calling 'assert'{{$}}}} in f()
570 if (flag) // expected-note-re{{{{^}}'flag' is not equal to 0{{$}}}} in f()
590 void f(int flag) { in f() argument
593 flag = getInt(); in f()
594 assert(flag); // tracking-note-re{{{{^}}Calling 'assert'{{$}}}} in f()
597 if (flag) // expected-note-re{{{{^}}'flag' is not equal to 0{{$}}}} in f()
628 void f(int flag) { in f() argument
631 check(flag); // tracking-note-re{{{{^}}Calling 'check'{{$}}}} in f()
634 if (flag) // expected-note-re{{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in f()
673 int flag; variable
680 if ((flag = coin())) in foo()
694 if (flag) // expected-note-re{{{{^}}'flag' is not equal to 0{{$}}}} in f()
703 int flag; variable
710 if (flag > 0) in foo()
723 if (flag) // expected-note-re{{{{^}}'flag' is not equal to 0{{$}}}} in f()
747 void f(int flag) { in f() argument
750 flag = getInt(); in f()
756 if (flag) // expected-note-re{{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in f()
784 void f(int flag) { in f() argument
787 flag = getInt(); in f()
796 if (flag) // expected-note-re{{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in f()
824 void f(int flag) { in f() argument
827 flag = getInt(); in f()
834 if (flag) // expected-note-re{{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in f()
863 void f(int flag) { in f() argument
866 flag = getInt(); in f()
873 if (flag) // expected-note-re{{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in f()
904 void f(int flag) { in f() argument
907 flag = getInt(); in f()
917 if (flag) // expected-note-re{{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in f()
948 void f(int flag) { in f() argument
951 flag = getInt(); in f()
960 if (flag) // expected-note-re{{{{^}}Assuming 'flag' is not equal to 0{{$}}}} in f()
974 void bar(int &flag) { in bar() argument
975flag = coin(); // tracking-note-re{{{{^}}Value assigned to 'flag', which participates in a conditi… in bar()
988 int flag, flag2; in f() local
989 bar(flag); // tracking-note-re{{{{^}}Calling 'bar'{{$}}}} in f()
993 if (flag && flag2) // expected-note-re {{{{^}}Assuming 'flag' is 0{{$}}}} in f()