I am testing the following to fix another latent PTA bug uncovered by pointer comparsion folding.
Bootstrap and regtest running on x86_64-unknown-linux-gnu. Richard. 2016-10-31 Richard Biener <rguent...@suse.de> PR tree-optimization/78047 * tree-ssa-structalias.c (push_fields_onto_fieldstack): Initialize fake field at offset zero conservatively regarding to may_have_pointers. diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index fb364f1..2880382 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -5566,7 +5568,7 @@ push_fields_onto_fieldstack (tree type, vec<fieldoff_s> *fieldstack, && offset + foff != 0) { fieldoff_s e - = {0, offset + foff, false, false, false, false, NULL_TREE}; + = {0, offset + foff, false, false, true, false, NULL_TREE}; pair = fieldstack->safe_push (e); }