Hello, while debugging I made the finding that in find_func_aliases rhsop might be used as NULL for gimple_assign_single_p items. It should be using for the gimple_assign_single_p instead directly the rhs1-item as argument to pass to get_constraint_for_rhs function.
ChangeLog 2013-04-05 Kai Tietz * tree-ssa-structalias.c (find_func_aliases): Special-case gimple_assign_single_p handling. Ok for apply? Regards, Kai Index: tree-ssa-structalias.c =================================================================== --- tree-ssa-structalias.c (Revision 197495) +++ tree-ssa-structalias.c (Arbeitskopie) @@ -4667,9 +4667,10 @@ find_func_aliases (gimple origt) } else if ((CONVERT_EXPR_CODE_P (code) && !(POINTER_TYPE_P (gimple_expr_type (t)) - && !POINTER_TYPE_P (TREE_TYPE (rhsop)))) - || gimple_assign_single_p (t)) + && !POINTER_TYPE_P (TREE_TYPE (rhsop))))) get_constraint_for_rhs (rhsop, &rhsc); + else if (gimple_assign_single_p (t)) + get_constraint_for_rhs (gimple_assign_rhs1 (t), &rhsc); else if (code == COND_EXPR) { /* The result is a merge of both COND_EXPR arms. */