From 4dd468a042e19ef0fdbb1c53ca4060d4cb4972c5 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Thu, 30 Jan 2020 13:12:05 -0500 Subject: [PATCH] c++: Fix -Wtype-limits in templates. When instantiating a template tsubst_copy_and_build suppresses -Wtype-limits warnings about e.g. == always being false because it might not always be false for an instantiation with other template arguments. But we should warn if the operands don't depend on template arguments. PR c++/82521 * pt.c (tsubst_copy_and_build) [EQ_EXPR]: Only suppress warnings if the expression was dependent before substitution. --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/pt.c | 12 ++++++++---- gcc/testsuite/g++.dg/warn/Wtype-limits3.C | 13 +++++++++++++ 3 files changed, 27 insertions(+), 4 deletions(-) create mode 100644 gcc/testsuite/g++.dg/warn/Wtype-limits3.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index a402b97..f260d5d 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2020-01-29 Jason Merrill + + PR c++/82521 + * pt.c (tsubst_copy_and_build) [EQ_EXPR]: Only suppress warnings if + the expression was dependent before substitution. + 2020-01-30 Bin Cheng * coroutines.cc (act_des_fn): New. diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 416ff63..40ff3c3 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -19279,10 +19279,14 @@ tsubst_copy_and_build (tree t, case MEMBER_REF: case DOTSTAR_EXPR: { - warning_sentinel s1(warn_type_limits); - warning_sentinel s2(warn_div_by_zero); - warning_sentinel s3(warn_logical_op); - warning_sentinel s4(warn_tautological_compare); + /* If T was type-dependent, suppress warnings that depend on the range + of the types involved. */ + bool was_dep = uses_template_parms (t); + warning_sentinel s1(warn_type_limits, was_dep); + warning_sentinel s2(warn_div_by_zero, was_dep); + warning_sentinel s3(warn_logical_op, was_dep); + warning_sentinel s4(warn_tautological_compare, was_dep); + tree op0 = RECUR (TREE_OPERAND (t, 0)); tree op1 = RECUR (TREE_OPERAND (t, 1)); tree r = build_x_binary_op diff --git a/gcc/testsuite/g++.dg/warn/Wtype-limits3.C b/gcc/testsuite/g++.dg/warn/Wtype-limits3.C new file mode 100644 index 0000000..b9059ac --- /dev/null +++ b/gcc/testsuite/g++.dg/warn/Wtype-limits3.C @@ -0,0 +1,13 @@ +// PR c++/82521 +// { dg-additional-options "-Wtype-limits" } + +template +const char * g(const unsigned char value) +{ + return value == -1 ? "-1" : "no"; // { dg-warning "always false" } +} + +int main() +{ + g(-1); +} -- 2.7.4