Re: [PATCH] gcc-plugin: include memmodel.h and tree_vrp.h for gcc-7

2016-12-16 Thread Kees Cook
On Fri, Dec 16, 2016 at 6:10 AM, Emese Revfy wrote: > On Fri, 16 Dec 2016 10:00:22 +0100 > Arnd Bergmann wrote: > >> Cc: sta...@vger.kernel.org >> Suggested-by: Kugan >> Signed-off-by: Arnd Bergmann >> --- >>

Re: [PATCH] gcc-plugin: include memmodel.h and tree_vrp.h for gcc-7

2016-12-16 Thread Kees Cook
On Fri, Dec 16, 2016 at 6:10 AM, Emese Revfy wrote: > On Fri, 16 Dec 2016 10:00:22 +0100 > Arnd Bergmann wrote: > >> Cc: sta...@vger.kernel.org >> Suggested-by: Kugan >> Signed-off-by: Arnd Bergmann >> --- >> scripts/gcc-plugins/gcc-common.h | 6 ++ >> 1 file changed, 6 insertions(+) >>

Re: [PATCH] gcc-plugin: include memmodel.h and tree_vrp.h for gcc-7

2016-12-16 Thread Emese Revfy
On Fri, 16 Dec 2016 10:00:22 +0100 Arnd Bergmann wrote: > Cc: sta...@vger.kernel.org > Suggested-by: Kugan > Signed-off-by: Arnd Bergmann > --- > scripts/gcc-plugins/gcc-common.h | 6 ++ > 1 file changed, 6 insertions(+) >

Re: [PATCH] gcc-plugin: include memmodel.h and tree_vrp.h for gcc-7

2016-12-16 Thread Emese Revfy
On Fri, 16 Dec 2016 10:00:22 +0100 Arnd Bergmann wrote: > Cc: sta...@vger.kernel.org > Suggested-by: Kugan > Signed-off-by: Arnd Bergmann > --- > scripts/gcc-plugins/gcc-common.h | 6 ++ > 1 file changed, 6 insertions(+) > > diff --git a/scripts/gcc-plugins/gcc-common.h >

[PATCH] gcc-plugin: include memmodel.h and tree_vrp.h for gcc-7

2016-12-16 Thread Arnd Bergmann
Building our gcc plugins currently fails with the gcc-7 snapshots, due to some slightly modified header interfaces: In file included from /git/arm-soc/scripts/gcc-plugins/gcc-common.h:42:0, from :1: /home/arnd/cross-gcc/lib/gcc/x86_64-linux/7.0.0/plugin/include/emit-rtl.h:371:41:

[PATCH] gcc-plugin: include memmodel.h and tree_vrp.h for gcc-7

2016-12-16 Thread Arnd Bergmann
Building our gcc plugins currently fails with the gcc-7 snapshots, due to some slightly modified header interfaces: In file included from /git/arm-soc/scripts/gcc-plugins/gcc-common.h:42:0, from :1: /home/arnd/cross-gcc/lib/gcc/x86_64-linux/7.0.0/plugin/include/emit-rtl.h:371:41: