[Bug c++/111885] New: source code after "required from here" note sometimes printed strangely

[Bug c++/111885] New: source code after "required from here" note sometimes printed strangely

[ppalka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111885

            Bug ID: 111885
           Summary: source code after "required from here" note sometimes
                    printed strangely
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ppalka at gcc dot gnu.org
  Target Milestone: ---

$ cat required-from-here-bug.C
template<class T> void f(typename T::type);

int main() {
  f<int>(0);
}

$ g++ required-from-here-bug.C
required-from-here-bug.C: In function ‘int main()’:
required-from-here-bug.C:4:9: error: no matching function for call to
‘f<int>(int)’
    4 |   f<int>(0);
      |   ~~~~~~^~~
required-from-here-bug.C:1:24: note: candidate: ‘template<class T> void
f(typename T::type)’
    1 | template<class T> void f(typename T::type);
      |                        ^
required-from-here-bug.C:1:24: note:   template argument deduction/substitution
failed:
required-from-here-bug.C: In substitution of ‘template<class T> void f(typename
T::type) [with T = int]’:
required-from-here-bug.C:4:9:   required from here
required-from-here-bug.C:1:24: note:     4 |   f<int>(0);
required-from-here-bug.C:1:24: note:       |   ~~~~~~^~~
required-from-here-bug.C:1:24: error: ‘int’ is not a class, struct, or union
type
    1 | template<class T> void f(typename T::type);
      |                        ^

The two notes following the "required from here" diagnostic seem to be
misprinted -- they refer to line 1, but show source code from line 4, which
seems like a bug?

[Bug c++/111885] [14 Regression] source code after "required from here" note sometimes printed strangely

[ppalka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111885

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |MOVED
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
On second thought I reckon I'll just note this observation in the patch email
thread instead, sorry for the noise...