[Bug plugins/107136] New: File cp-trait.def not found in kernel build

[dcb314 at hotmail dot com via Gcc-bugs]

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

            Bug ID: 107136
           Summary: File cp-trait.def not found in kernel build
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: plugins
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

I've just been having a go at compiling the new linux-6.0 kernel
with a recent trunk gcc. I get

/home/dcb/gcc/results.20221003/lib/gcc/x86_64-pc-linux-gnu/13.0.0/plugin/include/c-family/c-common.h:172:10:
fatal error: cp/cp-trait.def: No such file or directory

but

$ find /home/dcb/gcc/results.20221003 -name cp-trait.def -print
$

so it looks like that file isn't installed. But

[/home/dcb/gcc/trunk.git] $ find . -name cp-trait\* -print
./gcc/cp/cp-trait.def
[/home/dcb/gcc/trunk.git] $ 

so the file does exist in trunk.