Fix bogus fix-it for FLT_MAX (PR c/89122)

PR c/89122 reports that we emit a bogus fix-it hint for the case where
the code uses FLT_MAX, but has included <limits.h> rather than <float.h>:

x.c:3:11: error: 'FLT_MAX' undeclared here (not in a function); did you
  mean 'INT_MAX'?
    3 | float f = FLT_MAX;
      |           ^~~~~~~
      |           INT_MAX

This patch adds some knowledge of <float.h> (and <cfloat>) to
known-headers.cc, fixing the issue:

x.c:3:11: error: 'FLT_MAX' undeclared here (not in a function)
    3 | float f = FLT_MAX;
      |           ^~~~~~~
x.c:2:1: note: 'FLT_MAX' is defined in header '<float.h>'; did you forget
  to '#include <float.h>'?
    1 | #include <limits.h>
  +++ |+#include <float.h>
    2 |

gcc/c-family/ChangeLog:
	PR c/89122
	* known-headers.cc (get_stdlib_header_for_name): Add
	{FLT|DBL|LDBL}_{MAX|MIN} to "hints" array.

gcc/testsuite/ChangeLog:
	PR c/89122
	* g++.dg/spellcheck-stdlib.C (test_FLT_MAX): New test.
	* gcc.dg/spellcheck-stdlib.c (test_FLT_MAX): New test.

From-SVN: r268426

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 25c5323f6dbe023abfc56497e69097678307e313..dd1173f04872dc877b724bed1b43a5722cfc0dce 100644 (file)
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,9 @@
+2019-01-31  David Malcolm  <dmalcolm@redhat.com>
+
+       PR c/89122
+       * known-headers.cc (get_stdlib_header_for_name): Add
+       {FLT|DBL|LDBL}_{MAX|MIN} to "hints" array.
+
 2019-01-31  Jakub Jelinek  <jakub@redhat.com>
 
        PR libstdc++/88170

diff --git a/gcc/c-family/known-headers.cc b/gcc/c-family/known-headers.cc
index e3dcf73fd701b2b57527f36e4805fd6e6a6ad530..c222f306c84b44625335ae3b1144ae8edc7a34c8 100644 (file)
--- a/gcc/c-family/known-headers.cc
+++ b/gcc/c-family/known-headers.cc
@@ -84,6 +84,14 @@ get_stdlib_header_for_name (const char *name, enum stdlib lib)
     {"ULONG_MAX", {"<limits.h>", "<climits>"} },
     {"USHRT_MAX", {"<limits.h>", "<climits>"} },
 
+    /* <float.h> and <cfloat>.  */
+    {"DBL_MAX", {"<float.h>", "<cfloat>"} },
+    {"DBL_MIN", {"<float.h>", "<cfloat>"} },
+    {"FLT_MAX", {"<float.h>", "<cfloat>"} },
+    {"FLT_MIN", {"<float.h>", "<cfloat>"} },
+    {"LDBL_MAX", {"<float.h>", "<cfloat>"} },
+    {"LDBL_MIN", {"<float.h>", "<cfloat>"} },
+
     /* <stdarg.h> and <cstdarg>.  */
     {"va_list", {"<stdarg.h>", "<cstdarg>"} },
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5197926d3d0f66d6ffba1bd9bf0ef03c19095b15..25cf4cdafaa3ca4bfa7744f44ca660e82153c987 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2019-01-31  David Malcolm  <dmalcolm@redhat.com>
+
+       PR c/89122
+       * g++.dg/spellcheck-stdlib.C (test_FLT_MAX): New test.
+       * gcc.dg/spellcheck-stdlib.c (test_FLT_MAX): New test.
+
 2019-01-31  Richard Biener  <rguenther@suse.de>
 
        PR tree-optimization/89135

diff --git a/gcc/testsuite/g++.dg/spellcheck-stdlib.C b/gcc/testsuite/g++.dg/spellcheck-stdlib.C
index 11a4e3e8c41ae6e21b239dd099d2057257386450..31e91fe8d1b4c5937d0e4c076b241f5e52bd9234 100644 (file)
--- a/gcc/testsuite/g++.dg/spellcheck-stdlib.C
+++ b/gcc/testsuite/g++.dg/spellcheck-stdlib.C
@@ -77,6 +77,11 @@ int test_INT_MAX (void)
   // { dg-message "'INT_MAX' is defined in header '<climits>'; did you forget to '#include <climits>'?" "" { target *-*-* } INT_MAX_line }
 }
 
+/* Missing <cfloat>.  */
+float test_FLT_MAX = FLT_MAX; // { dg-line FLT_MAX_line }
+// { dg-error "'FLT_MAX' was not declared" "" { target *-*-* } FLT_MAX_line }
+// { dg-message "'FLT_MAX' is defined in header '<cfloat>'; did you forget to '#include <cfloat>'?" "" { target *-*-* } FLT_MAX_line }
+
 /* Missing <cstring>.  */
 
 void test_cstring (char *dest, char *src)

diff --git a/gcc/testsuite/gcc.dg/spellcheck-stdlib.c b/gcc/testsuite/gcc.dg/spellcheck-stdlib.c
index 7474c9a5b03adc0e1ff851653a10c7d62d0d5062..1ae3b5e33abd915a8a842c5bc6f8904637511824 100644 (file)
--- a/gcc/testsuite/gcc.dg/spellcheck-stdlib.c
+++ b/gcc/testsuite/gcc.dg/spellcheck-stdlib.c
@@ -62,3 +62,8 @@ int test_INT_MAX (void)
   /* { dg-bogus "__INT_MAX__" "" { target *-*-* } INT_MAX_line } */
   /* { dg-message "'INT_MAX' is defined in header '<limits.h>'; did you forget to '#include <limits.h>'?" "" { target *-*-* } INT_MAX_line } */
 }
+
+/* Missing <float.h>.  */
+float test_FLT_MAX = FLT_MAX; /* { dg-line FLT_MAX_line } */
+/* { dg-error "'FLT_MAX' undeclared" "" { target *-*-* } FLT_MAX_line } */
+/* { dg-message "'FLT_MAX' is defined in header '<float.h>'; did you forget to '#include <float.h>'?" "" { target *-*-* } FLT_MAX_line } */