[Bug plugins/79260] New: missing header files for plugins: arm-isa.h, arm-flags.h

["arnd at linaro dot org" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 79260
           Summary: missing header files for plugins: arm-isa.h,
                    arm-flags.h
           Product: gcc
           Version: 7.0.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: plugins
          Assignee: unassigned at gcc dot gnu.org
          Reporter: arnd at linaro dot org
  Target Milestone: ---

Building the Linux kernel with gcc-plugins enabled currently fails for ARM:

In file included from
/home/arnd/cross-gcc/lib/gcc/arm-linux-gnueabi/7.0.1/plugin/include/options.h:8:0,
                 from
/home/arnd/cross-gcc/lib/gcc/arm-linux-gnueabi/7.0.1/plugin/include/tm.h:23,
                 from
/home/arnd/cross-gcc/lib/gcc/arm-linux-gnueabi/7.0.1/plugin/include/backend.h:28,
                 from
/home/arnd/cross-gcc/lib/gcc/arm-linux-gnueabi/7.0.1/plugin/include/gcc-plugin.h:30,
                 from /git/arm-soc/scripts/gcc-plugins/gcc-common.h:6,
                 from <stdin>:1:
/home/arnd/cross-gcc/lib/gcc/arm-linux-gnueabi/7.0.1/plugin/include/config/arm/arm-opts.h:28:23:
fatal error: arm-flags.h: No such file or directory
compilation terminated.
Cannot use CONFIG_GCC_PLUGINS: your gcc installation does not support plugins,
perhaps the necessary headers are missing?

Manually copying arm-isa.h and arm-flags.h into the installation directory
solved the problem for me.