Index: gcc/c-family/c-common.c =================================================================== --- gcc/c-family/c-common.c (revision 240571) +++ gcc/c-family/c-common.c (working copy) @@ -4655,6 +4655,11 @@ c_common_truthvalue_conversion (location_t locatio return c_common_truthvalue_conversion (location, TREE_OPERAND (expr, 0)); + case LSHIFT_EXPR: + warning_at (EXPR_LOCATION (expr), OPT_Wint_in_bool_context, + "<< in boolean context, did you mean '<' ?"); + break; + case COND_EXPR: if (warn_int_in_bool_context && !from_macro_definition_at (EXPR_LOCATION (expr))) @@ -4676,6 +4681,8 @@ c_common_truthvalue_conversion (location_t locatio { tree op1 = TREE_OPERAND (expr, 1); tree op2 = TREE_OPERAND (expr, 2); + int w = warn_int_in_bool_context; + warn_int_in_bool_context = 0; /* In C++ one of the arms might have void type if it is throw. */ if (!VOID_TYPE_P (TREE_TYPE (op1))) op1 = c_common_truthvalue_conversion (location, op1); @@ -4683,10 +4690,13 @@ c_common_truthvalue_conversion (location_t locatio op2 = c_common_truthvalue_conversion (location, op2); expr = fold_build3_loc (location, COND_EXPR, truthvalue_type_node, TREE_OPERAND (expr, 0), op1, op2); + warn_int_in_bool_context = w; goto ret; } else { + int w = warn_int_in_bool_context; + warn_int_in_bool_context = 0; /* Folding will happen later for C. */ expr = build3 (COND_EXPR, truthvalue_type_node, TREE_OPERAND (expr, 0), @@ -4694,6 +4704,7 @@ c_common_truthvalue_conversion (location_t locatio TREE_OPERAND (expr, 1)), c_common_truthvalue_conversion (location, TREE_OPERAND (expr, 2))); + warn_int_in_bool_context = w; goto ret; } Index: gcc/cp/parser.c =================================================================== --- gcc/cp/parser.c (revision 240571) +++ gcc/cp/parser.c (working copy) @@ -11244,7 +11244,7 @@ cp_parser_condition (cp_parser* parser) { tree pushed_scope; bool non_constant_p; - bool flags = LOOKUP_ONLYCONVERTING; + int flags = LOOKUP_ONLYCONVERTING; /* Create the declaration. */ decl = start_decl (declarator, &type_specifiers, Index: gcc/doc/invoke.texi =================================================================== --- gcc/doc/invoke.texi (revision 240571) +++ gcc/doc/invoke.texi (working copy) @@ -6028,7 +6028,8 @@ of the C++ standard. @opindex Wno-int-in-bool-context Warn for suspicious use of integer values where boolean values are expected, such as conditional expressions (?:) using non-boolean integer constants in -boolean context, like @code{if (a <= b ? 2 : 3)}. +boolean context, like @code{if (a <= b ? 2 : 3)}. Or left shifting in +boolean context, like @code{for (a = 0; 1 << a; a++);}. This warning is enabled by @option{-Wall}. @item -Wno-int-to-pointer-cast Index: gcc/testsuite/c-c++-common/Wint-in-bool-context.c =================================================================== --- gcc/testsuite/c-c++-common/Wint-in-bool-context.c (revision 240571) +++ gcc/testsuite/c-c++-common/Wint-in-bool-context.c (working copy) @@ -25,5 +25,7 @@ int foo (int a, int b) if (b ? 1+1 : 1) /* { dg-warning "boolean context" } */ return 7; + for (a = 0; 1 << a; a++); /* { dg-warning "boolean context" } */ + return 0; }