Re: [PATCH, Pointer Bounds Checker 14/x] Passes [1/n] Expand interfaces

[Jeff Law <law at redhat dot com>]

On 10/08/14 12:50, Ilya Enkovich wrote:
> Hi,
>
> This patch starts a series which is a result of split of Pointer Bounds Checker patch #14 (Pointer Bounds Checker passes).
>
> This patch introduces compiler flags used by checker and helper functions mostly used by expand pass.
>
> Thanks,
> Ilya
> --
> 2014-10-08  Ilya Enkovich  <ilya.enkovich@intel.com>
>
> 	* tree-chkp.c: New.
> 	* tree-chkp.h: New.
> 	* rtl-chkp.c: New.
> 	* rtl-chkp.h: New.
> 	* Makefile.in (OBJS): Add rtl-chkp.o and tree-chkp.o.
> 	(GTFILES): Add tree-chkp.c.
> 	* c-family/c.opt (fchkp-check-incomplete-type): New.
> 	(fchkp-zero-input-bounds-for-main): New.
> 	(fchkp-first-field-has-own-bounds): New.
> 	(fchkp-narrow-bounds): New.
> 	(fchkp-narrow-to-innermost-array): New.
> 	(fchkp-optimize): New.
> 	(fchkp-use-fast-string-functions): New.
> 	(fchkp-use-nochk-string-functions): New.
> 	(fchkp-use-static-bounds): New.
> 	(fchkp-use-static-const-bounds): New.
> 	(fchkp-treat-zero-dynamic-size-as-infinite): New.
> 	(fchkp-check-read): New.
> 	(fchkp-check-write): New.
> 	(fchkp-store-bounds): New.
> 	(fchkp-instrument-calls): New.
> 	(fchkp-instrument-marked-only): New.
> 	* cppbuiltin.c (define_builtin_macros_for_compilation_flags): Add
> 	__CHKP__ macro when Pointer Bounds Checker is on.
OK for the trunk.

So at this point do we have any patches that have not been reviewed for 
this stage of the bounded pointers work?  Are there any which you have 
posted updated versions that you feel need further review?

Jeff