On Fri, 2 Aug 2013, Ilya Enkovich wrote: > Hi All, > > I've updated MPX Wiki page > (http://gcc.gnu.org/wiki/Intel%20MPX%20support%20in%20the%20GCC%20compiler). > I added instrumentation description, programming model description, > differences with other checkers, implementation details.
Thanks. As noted, there should be a clean separation between what's generic and what's architecture-specific - the generic command-line options, hooks etc. shouldn't mention "MPX" in their names. I'm unclear on the references to *_nobnd and *_nochk functions - are there corresponding library (glibc etc.) changes to add additional function variants? Are all built-in functions that use pointers modified so that GCC will insert the required checks when expanding inline? I'm also unclear on how much --enable-mpx does - in general, it's desirable for a single compiler to be able to generate binaries both with and without the checks, and so quite possibly to build libgcc, libstdc++ etc. as multilibs both with and without MPX, rather than needing to make a static decision when GCC is built (so, any configure option should preferably be about building *extra* library variants, for example, rather than changing the options with which existing variants are built). -- Joseph S. Myers jos...@codesourcery.com
