[Bug middle-end/63994] Ada bootstrap fails with -fcheck-pointer-bounds -mmpx

[Bug middle-end/63994] Ada bootstrap fails with -fcheck-pointer-bounds -mmpx

[enkovich.gnu at gmail dot com]

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

--- Comment #1 from Ilya Enkovich <enkovich.gnu at gmail dot com> ---
What does "bootstrap with -fcheck-pointer-bounds -mmpx" mean?  Any instruction
on how to reproduce?

[Bug middle-end/63994] Ada bootstrap fails with -fcheck-pointer-bounds -mmpx

[rguenther at suse dot de]

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

--- Comment #2 from rguenther at suse dot de <rguenther at suse dot de> ---
On Thu, 20 Nov 2014, enkovich.gnu at gmail dot com wrote:

> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63994
> 
> --- Comment #1 from Ilya Enkovich <enkovich.gnu at gmail dot com> ---
> What does "bootstrap with -fcheck-pointer-bounds -mmpx" mean?  Any instruction
> on how to reproduce?

> TARGET_CFLAGS="-O2 -g -mmpx -fcheck-pointer-bounds" TARGET_CXXFLAGS="-O2 
-g -mmpx -fcheck-pointer-bounds" BOOT_CFLAGS="-O2 -g -mmpx 
-fcheck-pointer-bounds" /space/rguenther/src/svn/trunk/configure 
--enable-languages=all,obj-c++,ada,go
> make -j12  TARGET_CFLAGS="-O2 -g -mmpx -fcheck-pointer-bounds" 
TARGET_CXXFLAGS="-O2 -g -mmpx -fcheck-pointer-bounds" BOOT_CFLAGS="-O2 -g 
-mmpx -fcheck-pointer-bounds"

[Bug middle-end/63994] Ada bootstrap fails with -fcheck-pointer-bounds -mmpx

[enkovich.gnu at gmail dot com]

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

--- Comment #3 from Ilya Enkovich <enkovich.gnu at gmail dot com> ---
(In reply to rguenther@suse.de from comment #2)
> 
> > TARGET_CFLAGS="-O2 -g -mmpx -fcheck-pointer-bounds" TARGET_CXXFLAGS="-O2 
> -g -mmpx -fcheck-pointer-bounds" BOOT_CFLAGS="-O2 -g -mmpx 
> -fcheck-pointer-bounds" /space/rguenther/src/svn/trunk/configure 
> --enable-languages=all,obj-c++,ada,go
> > make -j12  TARGET_CFLAGS="-O2 -g -mmpx -fcheck-pointer-bounds" 
> TARGET_CXXFLAGS="-O2 -g -mmpx -fcheck-pointer-bounds" BOOT_CFLAGS="-O2 -g 
> -mmpx -fcheck-pointer-bounds"

Building with these options I see Ada compiler is called with
-fcheck-pointer-bounds.  Option is in c-family/c.opt and shouldn't be passed
for Ada compiler.  

We should either not pass CFLAGS for Ada during build or filter language in the
compiler.

[Bug middle-end/63994] Ada bootstrap fails with -fcheck-pointer-bounds -mmpx

[rguenther at suse dot de]

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

--- Comment #4 from rguenther at suse dot de <rguenther at suse dot de> ---
On Wed, 26 Nov 2014, enkovich.gnu at gmail dot com wrote:

> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63994
> 
> --- Comment #3 from Ilya Enkovich <enkovich.gnu at gmail dot com> ---
> (In reply to rguenther@suse.de from comment #2)
> > 
> > > TARGET_CFLAGS="-O2 -g -mmpx -fcheck-pointer-bounds" TARGET_CXXFLAGS="-O2 
> > -g -mmpx -fcheck-pointer-bounds" BOOT_CFLAGS="-O2 -g -mmpx 
> > -fcheck-pointer-bounds" /space/rguenther/src/svn/trunk/configure 
> > --enable-languages=all,obj-c++,ada,go
> > > make -j12  TARGET_CFLAGS="-O2 -g -mmpx -fcheck-pointer-bounds" 
> > TARGET_CXXFLAGS="-O2 -g -mmpx -fcheck-pointer-bounds" BOOT_CFLAGS="-O2 -g 
> > -mmpx -fcheck-pointer-bounds"
> 
> Building with these options I see Ada compiler is called with
> -fcheck-pointer-bounds.  Option is in c-family/c.opt and shouldn't be passed
> for Ada compiler.  
> 
> We should either not pass CFLAGS for Ada during build or filter language in the
> compiler.

Any reason why non-C-family languages cannot use MPX?

Richard.

[Bug middle-end/63994] Ada bootstrap fails with -fcheck-pointer-bounds -mmpx

[enkovich.gnu at gmail dot com]

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

--- Comment #5 from Ilya Enkovich <enkovich.gnu at gmail dot com> ---
(In reply to rguenther@suse.de from comment #4)
> Any reason why non-C-family languages cannot use MPX?
> 
> Richard.

There is no fundamental restriction.  If someone wants to implement Pointer
Bounds Checker for some language, then he needs to define how it instruments
the program on that language and implement it in the compiler.  Currently it is
defined and implemented for C-languages only.

[Bug middle-end/63994] Ada bootstrap fails with -fcheck-pointer-bounds -mmpx

[rguenther at suse dot de]

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

--- Comment #6 from rguenther at suse dot de <rguenther at suse dot de> ---
On Wed, 26 Nov 2014, enkovich.gnu at gmail dot com wrote:

> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63994
> 
> --- Comment #5 from Ilya Enkovich <enkovich.gnu at gmail dot com> ---
> (In reply to rguenther@suse.de from comment #4)
> > Any reason why non-C-family languages cannot use MPX?
> > 
> > Richard.
> 
> There is no fundamental restriction.  If someone wants to implement 
> Pointer Bounds Checker for some language, then he needs to define how it 
> instruments the program on that language and implement it in the 
> compiler.  Currently it is defined and implemented for C-languages only.

I see.  I mainly wonder because of LTO which can combine TUs from C
and Ada and because for example both Fortran and Ada define
interoperability with C.  All languages also share the common
C runtime builtins.

Richard.

[Bug middle-end/63994] Ada bootstrap fails with -fcheck-pointer-bounds -mmpx

[enkovich.gnu at gmail dot com]

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

--- Comment #7 from Ilya Enkovich <enkovich.gnu at gmail dot com> ---
(In reply to rguenther@suse.de from comment #6)
> I see.  I mainly wonder because of LTO which can combine TUs from C
> and Ada and because for example both Fortran and Ada define
> interoperability with C.  All languages also share the common
> C runtime builtins.
> 
> Richard.

It should be OK to mix instrumented and not instrumented codes. 
Instrumentation happens in early passes before LTO streams out.  Therefore we
can compile C file with '-fcheck-pointer-bounds -mmpx -flto -c', then compile
fortran (or any other) file with '-c -flto' and finally pass generated objects
to LTO.  It may be inconvenient to avoid '-fcheck-pointer-bounds' for nonc-C
files when you work with mixed codes.  To handle it I may use langhooks and
ignore '-fcheck-pointer-bounds' when it's not supported for used language.