https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110610
Bug ID: 110610
Summary: File insn-opinit.h not installed ?
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: plugins
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
Target Milestone: ---
Recent linux kernels seem to think that file insn-opinit.h is available
in a gcc install.
CC /home/dcb38/linuxKernel/linux-6.4/tools/objtool/arch/x86/special.o
In file included from scripts/gcc-plugins/gcc-common.h:73,
from scripts/gcc-plugins/stackleak_plugin.c:30:
/home/dcb38/gcc/results.20230701.valgrind/lib/gcc/x86_64-pc-linux-gnu/14.0.0/plugin/include/internal-fn.h:24:10:
fatal error: insn-opinit.h: No such file or directory
24 | #include "insn-opinit.h"
| ^~~~~~~~~~~~~~~
I found a straightforward copy of the file from a gcc build made the problem
go away:
$ history | grep insn | grep cp
1019 cp /home/dcb38/gcc/working/gcc/insn-opinit.h
/home/dcb38/gcc/results.20230708.asan.ubsan/lib/gcc/x86_64-pc-linux-gnu/14.0.0/plugin/include/
1022 history | grep insn | grep cp
$
I am pretty sure there is a better way than a "cp" command to solve this
problem.
Perhaps the install could do the copy instead ?
