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
37   return left >> right;  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()
57   // expected-warning@-1 {{Left shift by '32' overflows the capacity of 'int'}}  in too_large_right_operand_literal()
58 …// expected-note@-2 {{The result of left shift is undefined because the right operand '32' is not …  in too_large_right_operand_literal()
63   // expected-note@+3 {{Left side of '||' is false}}  in too_large_right_operand_exact_symbolic()
69   // expected-warning@-1 {{Left shift by '34' overflows the capacity of 'int'}}  in too_large_right_operand_exact_symbolic()
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()
79   // expected-warning@-1 {{Left shift by '32' overflows the capacity of 'int'}}  in too_large_right_operand_exact_symbolic_2()
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
88   return left >> right;  in too_large_right_operand_symbolic()
101   // expected-warning@-1 {{Left shift overflows the capacity of 'int'}}  in too_large_right_operand_compound()
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()
118   // expected-warning@-1 {{Left shift overflows the capacity of 'int'}}  in state_update()
119 …// expected-note@-2 {{The result of left shift is undefined because the right operand is not small…  in state_update()
141   unsigned left = 115; // expected-note {{'left' initialized to 115}}  in expression_tracked_back()  local
148   return left << right;  in expression_tracked_back()
149   // expected-warning@-1 {{Left shift by '33' overflows the capacity of 'unsigned int'}}  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()