23 // TEST NEGATIVE RIGHT OPERAND
28   // expected-warning@-1 {{Right operand is negative in left shift}}  in negative_right_operand_literal()
29 …// expected-note@-2 {{The result of left shift is undefined because the right operand is negative}}  in negative_right_operand_literal()
32 int negative_right_operand_symbolic(int left, int right) {  in negative_right_operand_symbolic()  argument
33   // expected-note@+2 {{Assuming 'right' is < 0}}  in negative_right_operand_symbolic()
35   if (right >= 0)  in negative_right_operand_symbolic()
37   return left >> right;  in negative_right_operand_symbolic()
38   // expected-warning@-1 {{Right operand is negative in right shift}}  in negative_right_operand_symbolic()
39 …// expected-note@-2 {{The result of right shift is undefined because the right operand is negative…  in negative_right_operand_symbolic()
48   // expected-warning@-1 {{Right operand is negative in left shift}}  in negative_right_operand_compound()
49 …// expected-note@-2 {{The result of left shift is undefined because the right operand is negative}}  in negative_right_operand_compound()
52 // TEST TOO LARGE RIGHT OPERAND
58 …// expected-note@-2 {{The result of left shift is undefined because the right operand '32' is not …  in too_large_right_operand_literal()
70 …// expected-note@-2 {{The result of left shift is undefined because the right operand '34' is not …  in too_large_right_operand_exact_symbolic()
80 …// expected-note@-2 {{The result of left shift is undefined because the right operand '32' is not …  in too_large_right_operand_exact_symbolic_2()
83 int too_large_right_operand_symbolic(int left, int right) {  in too_large_right_operand_symbolic()  argument
84   // expected-note@+2 {{Assuming 'right' is > 31}}  in too_large_right_operand_symbolic()
86   if (right <= 31)  in too_large_right_operand_symbolic()
88   return left >> right;  in too_large_right_operand_symbolic()
89   // expected-warning@-1 {{Right shift overflows the capacity of 'int'}}  in too_large_right_operand_symbolic()
90 …// expected-note@-2 {{The result of right shift is undefined because the right operand is >= 32, n…  in too_large_right_operand_symbolic()
102 …// expected-note@-2 {{The result of left shift is undefined because the right operand is not small…  in too_large_right_operand_compound()
104 …//     {{The result of left shift is undefined because the right operand is >= 32, not smaller tha…  in too_large_right_operand_compound()
116   // expected-note@-1 {{Assuming right operand of bit shift is non-negative but less than 32}}  in state_update()
119 …// expected-note@-2 {{The result of left shift is undefined because the right operand is not small…  in state_update()
124   // expected-note@-1 {{Assuming right operand of bit shift is non-negative but less than 32}}  in state_update_2()
126   // expected-warning@-1 {{Right operand is negative in right shift}}  in state_update_2()
127 …// expected-note@-2 {{The result of right shift is undefined because the right operand is negative…  in state_update_2()
137   // expected-note@-1 {{The value 33 is assigned to 'right'}}  in setValue()
142   unsigned right;  in expression_tracked_back()  local
143   setValue(&right, 33);  in expression_tracked_back()
148   return left << right;  in expression_tracked_back()
150 …// expected-note@-2 {{The result of left shift is undefined because the right operand '33' is not …  in expression_tracked_back()
166   // expected-warning@-1 {{Right operand is negative in right shift}}  in double_negative()
167 …// expected-note@-2 {{The result of right shift is undefined because the right operand is negative…  in double_negative()