On Sat, Apr 11, 2009 at 01:26, QiangHuang <qianghuang87@xxxxxxxxx> wrote: > Why does the compiler not rewirte the scalar parameters into new > SSA vars this time ? Is that contradictory to the definition of SSA ? You are taking the address of 'b'. This turns 'b' into a memory symbol, so it's put into memory SSA form (use -fdump-tree-all-vops to see the memory SSA web). Diego.