This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support
- From: Ilya Enkovich <enkovich dot gnu at gmail dot com>
- To: Jeff Law <law at redhat dot com>
- Cc: Richard Biener <richard dot guenther at gmail dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 20 Nov 2013 00:29:52 +0400
- Subject: Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support
- Authentication-results: sourceware.org; auth=none
- References: <CAFiYyc0RGepPUTU36HCvLrFFM_Y1eGae9kuAV8tn=MZnTRLwzA at mail dot gmail dot com> <CAMbmDYaL=q4D5qfXENhaH5OjdsMznwiyWURWLDw+8unyxP-0oQ at mail dot gmail dot com> <CAFiYyc2owq4pow_h0uep6vw9wUoay5CrLVEVpAuq0yQSmgiW7w at mail dot gmail dot com> <CAMbmDYbm5=Z-MpeSWuu9+K=fUfcPUjzNfHWWVGVAGNW=UB=O9Q at mail dot gmail dot com> <CAFiYyc1wzbuW11n5LE5LHi7Zhxkt3wgT_0LHW=UGJ3zAqvpETg at mail dot gmail dot com> <20131108090256 dot GA21297 at msticlxl57 dot ims dot intel dot com> <528A4419 dot 7030902 at redhat dot com> <CAFiYyc3cCAFE3eTvkrA0J+pT8+t7vp73cXL=z65Y6gr8Wj7ARg at mail dot gmail dot com> <20131119121342 dot GR21297 at msticlxl57 dot ims dot intel dot com> <528BBD0E dot 5090608 at redhat dot com>
On 19 Nov 12:33, Jeff Law wrote:
> On 11/19/13 05:13, Ilya Enkovich wrote:
> >On 19 Nov 13:00, Richard Biener wrote:
> >>I'd say not in the gimplifier either but in varpool (symbol table) code
> >>where the symbols are ultimatively registered with?
> >
> >Something like that?
> >
> >--- a/gcc/varpool.c
> >+++ b/gcc/varpool.c
> >@@ -151,6 +151,10 @@ varpool_node_for_decl (tree decl)
> > node = varpool_create_empty_node ();
> > node->decl = decl;
> > symtab_register_node (node);
> >+
> >+ if (DECL_NIITIAL (decl))
> >+ chkp_register_var_initializer (decl);
> >+
> > return node;
> > }
> Yea, I think that's what Richi is suggesting.
> jeff
>
Great! Here is a full version of the patch. Bootstrap, make check and MPX tests are OK with the change.
Thanks,
Ilya
--
2013-11-19 Ilya Enkovich <ilya.enkovich@intel.com>
* varpool.c: Include tree-chkp.h.
(varpool_node_for_decl): Register statically
initialized decls in Pointer Bounds Checker.
diff --git a/gcc/varpool.c b/gcc/varpool.c
index 471db82..8487b6e 100644
--- a/gcc/varpool.c
+++ b/gcc/varpool.c
@@ -34,6 +34,7 @@ along with GCC; see the file COPYING3. If not see
#include "output.h"
#include "gimple.h"
#include "flags.h"
+#include "tree-chkp.h"
/* List of hooks triggered on varpool_node events. */
struct varpool_node_hook_list {
@@ -151,6 +152,10 @@ varpool_node_for_decl (tree decl)
node = varpool_create_empty_node ();
node->decl = decl;
symtab_register_node (node);
+
+ if (DECL_INITIAL (decl))
+ chkp_register_var_initializer (decl);
+
return node;
}
- References:
- Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support
- Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support
- Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support
- Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support
- Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support
- Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support
- Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support
- Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support
- Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support
- Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support