This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: how to chase a tree check failure in verify_ssa?
- From: "Diego Novillo" <dnovillo at google dot com>
- To: "Gary Funck" <gary at intrepid dot com>
- Cc: "Gcc List" <gcc at gcc dot gnu dot org>
- Date: Mon, 24 Sep 2007 09:36:25 -0400
- Subject: Re: how to chase a tree check failure in verify_ssa?
- References: <20070923052021.GA25393@intrepid.com>
On 9/23/07, Gary Funck <gary@intrepid.com> wrote:
> The operand, op:
>
> (gdb) p op
> $49 = 0x2aaaae1ebc60
> (gdb) pt
> <var_decl 0x2aaaae1ebc60 D.3609
This symbol was not marked for renaming and the program is already in
SSA form. When your pass introduces new symbols, you need to add them
to the symbol table (with add_referenced_var) and also mark it for
renaming (with mark_sym_for_renaming). For examples see passes like
tree-sra.c or tree-pre.c that create new variables.