libcpp: Handle macro locations in linemap_location_from_module_p [PR124466]

The testcase crashed because in warn-spec-5_b.C we were writing
diagnostic classifications for pops but not for the things they were
ignoring.  We should have been writing neither, as they all came from an
imported location, but linemap_location_from_module_p was returning
false for locations that originated from macros in a module.

	PR c++/124466

libcpp/ChangeLog:

	* line-map.cc (linemap_location_from_module_p): Resolve loc in
	case it's a macro location.

gcc/testsuite/ChangeLog:

	* g++.dg/modules/warn-spec-5_a.C: New test.
	* g++.dg/modules/warn-spec-5_b.C: New test.
	* g++.dg/modules/warn-spec-5_c.C: New test.

Signed-off-by: Nathaniel Shead <nathanieloshead@gmail.com>
Reviewed-by: Jason Merrill <jason@redhat.com>

diff --git a/gcc/testsuite/g++.dg/modules/warn-spec-5_a.C b/gcc/testsuite/g++.dg/modules/warn-spec-5_a.C
new file mode 100644 (file)
index 0000000..aa95b21
--- /dev/null
+++ b/gcc/testsuite/g++.dg/modules/warn-spec-5_a.C
@@ -0,0 +1,12 @@
+// PR c++/124466
+// { dg-additional-options "-fmodules" }
+// { dg-module-cmi A }
+
+export module A;
+
+#define PUSH _Pragma("GCC diagnostic push")
+#define POP _Pragma("GCC diagnostic pop")
+
+PUSH
+#pragma GCC diagnostic ignored "-Wvariadic-macros"
+POP

diff --git a/gcc/testsuite/g++.dg/modules/warn-spec-5_b.C b/gcc/testsuite/g++.dg/modules/warn-spec-5_b.C
new file mode 100644 (file)
index 0000000..e5aae84
--- /dev/null
+++ b/gcc/testsuite/g++.dg/modules/warn-spec-5_b.C
@@ -0,0 +1,8 @@
+// PR c++/124466
+// { dg-additional-options "-fmodules -fdump-lang-module" }
+// { dg-module-cmi B }
+
+export module B;
+export import A;
+
+// { dg-final { scan-lang-dump {Diagnostic changes: 0} module } }

diff --git a/gcc/testsuite/g++.dg/modules/warn-spec-5_c.C b/gcc/testsuite/g++.dg/modules/warn-spec-5_c.C
new file mode 100644 (file)
index 0000000..e1e943c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/modules/warn-spec-5_c.C
@@ -0,0 +1,4 @@
+// PR c++/124466
+// { dg-additional-options "-fmodules" }
+
+import B;

diff --git a/libcpp/line-map.cc b/libcpp/line-map.cc
index 3dd73a93b98834a6df3d7da5a59bb010ed16793d..34f3642258d6d9d5b07b303e14c67f6d80a748f7 100644 (file)
--- a/libcpp/line-map.cc
+++ b/libcpp/line-map.cc
@@ -772,7 +772,9 @@ linemap_module_restore (line_maps *set, line_map_uint_t lwm)
 bool
 linemap_location_from_module_p (const line_maps *set, location_t loc)
 {
-  const line_map_ordinary *map = linemap_ordinary_map_lookup (set, loc);
+  const line_map_ordinary *map = nullptr;
+  linemap_resolve_location (set, loc, LRK_SPELLING_LOCATION, &map);
+
   while (map && map->reason != LC_MODULE)
     map = linemap_included_from_linemap (set, map);
   return !!map;