@@ -1722,6 +1722,25 @@ warn_logical_operator (location_t location, enum tree_code code, tree type,
}
}
+/* Warn about logical not used on the left hand side operand of a comparison.
+ This function assumes that the LHS is inside of TRUTH_NOT_EXPR.
+ Do not warn if the LHS or RHS is of a boolean or a vector type. */
+
+void
+warn_logical_not_parentheses (location_t location, enum tree_code code,
+ tree lhs, tree rhs)
+{
+ if (TREE_CODE_CLASS (code) != tcc_comparison
+ || TREE_CODE (TREE_TYPE (lhs)) == BOOLEAN_TYPE
+ || TREE_CODE (TREE_TYPE (rhs)) == BOOLEAN_TYPE
+ || VECTOR_TYPE_P (TREE_TYPE (lhs))
+ || VECTOR_TYPE_P (TREE_TYPE (rhs)))
+ return;
+
+ warning_at (location, OPT_Wlogical_not_parentheses,
+ "logical not is only applied to the left hand side of "
+ "comparison");
+}
/* Warn if EXP contains any computations whose results are not used.
Return true if a warning is printed; false otherwise. LOCUS is the
@@ -772,6 +772,8 @@ extern void overflow_warning (location_t, tree);
extern bool warn_if_unused_value (const_tree, location_t);
extern void warn_logical_operator (location_t, enum tree_code, tree,
enum tree_code, tree, enum tree_code, tree);
+extern void warn_logical_not_parentheses (location_t, enum tree_code, tree,
+ tree);
extern void check_main_parameter_types (tree decl);
extern bool c_determine_visibility (tree);
extern bool vector_types_compatible_elements_p (tree, tree);
@@ -490,6 +490,10 @@ Wlogical-op
C ObjC C++ ObjC++ Var(warn_logical_op) Init(0) Warning
Warn when a logical operator is suspiciously always evaluating to true or false
+Wlogical-not-parentheses
+C ObjC C++ ObjC++ Var(warn_logical_not_paren) Warning
+Warn when logical not is used on the left hand side operand of a comparison
+
Wlong-long
C ObjC C++ ObjC++ Var(warn_long_long) Init(-1) Warning
Do not warn about using \"long long\" when -pedantic
@@ -3401,6 +3401,10 @@ parser_build_binary_op (location_t location, enum tree_code code,
warn_logical_operator (location, code, TREE_TYPE (result.value),
code1, arg1.value, code2, arg2.value);
+ if (warn_logical_not_paren
+ && code1 == TRUTH_NOT_EXPR)
+ warn_logical_not_parentheses (location, code, arg1.value, arg2.value);
+
/* Warn about comparisons against string literals, with the exception
of testing for equality or inequality of a string literal with NULL. */
if (code == EQ_EXPR || code == NE_EXPR)
@@ -7883,6 +7883,8 @@ cp_parser_binary_expression (cp_parser* parser, bool cast_p,
enum tree_code rhs_type;
enum cp_parser_prec new_prec, lookahead_prec;
tree overload;
+ bool parenthesized_not_lhs_warn
+ = cp_lexer_next_token_is (parser->lexer, CPP_NOT);
/* Parse the first expression. */
current.lhs = cp_parser_cast_expression (parser, /*address_p=*/false,
@@ -7985,6 +7987,12 @@ cp_parser_binary_expression (cp_parser* parser, bool cast_p,
else if (current.tree_type == TRUTH_ORIF_EXPR)
c_inhibit_evaluation_warnings -= current.lhs == truthvalue_true_node;
+ if (warn_logical_not_paren
+ && !processing_template_decl
+ && parenthesized_not_lhs_warn)
+ warn_logical_not_parentheses (current.loc, current.tree_type,
+ TREE_OPERAND (current.lhs, 0), rhs);
+
overload = NULL;
/* ??? Currently we pass lhs_type == ERROR_MARK and rhs_type ==
ERROR_MARK for everything that is not a binary expression.
@@ -256,7 +256,7 @@ Objective-C and Objective-C++ Dialects}.
-Winit-self -Winline -Wmaybe-uninitialized @gol
-Wno-int-to-pointer-cast -Wno-invalid-offsetof @gol
-Winvalid-pch -Wlarger-than=@var{len} -Wunsafe-loop-optimizations @gol
--Wlogical-op -Wlong-long @gol
+-Wlogical-op -Wlogical-not-parentheses -Wlong-long @gol
-Wmain -Wmaybe-uninitialized -Wmissing-braces -Wmissing-field-initializers @gol
-Wmissing-include-dirs @gol
-Wno-multichar -Wnonnull -Wno-overflow -Wopenmp-simd @gol
@@ -4687,6 +4687,24 @@ Warn about suspicious uses of logical operators in expressions.
This includes using logical operators in contexts where a
bit-wise operator is likely to be expected.
+@item -Wlogical-not-parentheses
+@opindex Wlogical-not-parentheses
+@opindex Wno-logical-not-parentheses
+Warn about logical not used on the left hand side operand of a comparison.
+This option does not warn if the LHS or RHS operand is of a boolean or
+a vector type. Its purpose is to detect suspicious code like the following:
+@smallexample
+int a;
+...
+if (!a > 1) @{ ... @}
+@end smallexample
+
+It is possible to suppress the warning by wrapping the LHS into
+parentheses:
+@smallexample
+if ((!a) > 1) @{ ... @}
+@end smallexample
+
@item -Waggregate-return
@opindex Waggregate-return
@opindex Wno-aggregate-return
@@ -0,0 +1,95 @@
+/* PR c/49706 */
+/* { dg-do compile } */
+/* { dg-options "-Wlogical-not-parentheses" } */
+
+#ifndef __cplusplus
+#define bool _Bool
+#endif
+enum E { A, B };
+bool b;
+extern enum E foo_e (void);
+extern bool foo_b (void);
+extern int foo_i (void);
+
+void
+fn1 (int i1, int i2, bool b1, bool b2)
+{
+ b = !i1 == i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !i1 != i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !i1 < i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !i1 > i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !i1 <= i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !i1 >= i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+
+ b = i1 == i2;
+ b = i1 != i2;
+ b = i1 < i2;
+ b = i1 > i2;
+ b = i1 <= i2;
+ b = i1 >= i2;
+
+ /* Parens suppress the warning. */
+ b = (!i1) == i2;
+ b = (!i1) != i2;
+ b = (!i1) < i2;
+ b = (!i1) > i2;
+ b = (!i1) <= i2;
+ b = (!i1) >= i2;
+
+ /* ...but not these parens. */
+ b = (!i1 == i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = (!i1 != i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = (!i1 < i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = (!i1 > i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = (!i1 <= i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = (!i1 >= i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+
+ b = !b1 == b2;
+ b = !b1 != b2;
+ b = !b1 < b2;
+ b = !b1 > b2;
+ b = !b1 <= b2;
+ b = !b1 >= b2;
+
+ b = !foo_i () == i1; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = (!foo_i ()) == i1;
+ b = !foo_b () == b1;
+
+ b = !!i1 == i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !!i1 != i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !!i1 < i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !!i1 > i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !!i1 <= i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !!i1 >= i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !!foo_i () == i1; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+
+ /* Be careful here. */
+ b = (i1 == 0) != 0;
+ b = (i1 == 0) == 0;
+ b = (i1 != 0) != 0;
+ b = (i1 != 0) == 0;
+}
+
+void
+fn2 (enum E e)
+{
+ b = e == B;
+ b = e == foo_e ();
+ b = foo_e () == A;
+ b = foo_e () == foo_e ();
+
+ b = !e == A; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !e == foo_e (); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !foo_e () == A; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+ b = !foo_e () == foo_e (); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
+
+ b = !(e == A);
+ b = !(e == foo_e ());
+ b = !(foo_e () == A);
+ b = !(foo_e () == foo_e ());
+
+ b = (!e) == A;
+ b = (!e) == foo_e ();
+ b = (!foo_e ()) == A;
+ b = (!foo_e ()) == foo_e ();
+}