From 941058d18590e5c524ca97ad57f9ffdfcfec0469 Mon Sep 17 00:00:00 2001 From: jason Date: Sat, 14 Nov 2015 18:54:16 +0000 Subject: [PATCH] PR bootstrap/68346 * call.c (build_new_op_1): Don't fold arguments to warn_tautological_cmp. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@230382 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/call.c | 2 +- gcc/testsuite/g++.dg/warn/Wtautological-compare.C | 7 +++++++ 3 files changed, 14 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/warn/Wtautological-compare.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index baaabc8761f7..b154453dde12 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2015-11-14 Jason Merrill + + PR bootstrap/68346 + * call.c (build_new_op_1): Don't fold arguments to + warn_tautological_cmp. + 2015-11-14 Jakub Jelinek * semantics.c (finish_omp_clauses): Don't mark diff --git a/gcc/cp/call.c b/gcc/cp/call.c index 77c29366b135..8cdda6200e18 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -5741,7 +5741,7 @@ build_new_op_1 (location_t loc, enum tree_code code, int flags, tree arg1, maybe_warn_bool_compare (loc, code, fold (arg1), fold (arg2)); if (complain & tf_warning && warn_tautological_compare) - warn_tautological_cmp (loc, code, fold (arg1), fold (arg2)); + warn_tautological_cmp (loc, code, arg1, arg2); /* Fall through. */ case PLUS_EXPR: case MINUS_EXPR: diff --git a/gcc/testsuite/g++.dg/warn/Wtautological-compare.C b/gcc/testsuite/g++.dg/warn/Wtautological-compare.C new file mode 100644 index 000000000000..451fd54850d3 --- /dev/null +++ b/gcc/testsuite/g++.dg/warn/Wtautological-compare.C @@ -0,0 +1,7 @@ +// PR bootstrap/68346 +// { dg-options -Wtautological-compare } + +bool f(unsigned u) +{ + return ((unsigned)(int)u == u); +} -- 2.47.2