+ } else if (is_Proj(base1)) {
+ if (is_arg_Proj(base1)) {
+ /* the first one is an offset from a parameter */
+ if (is_Sel(adr2)) {
+ /* the second address is a Sel */
+ ir_node *base2 = find_base_adr(adr2, &ent2);
+
+ if (base2 == get_irg_frame(irg)) {
+ /* the second one is a local variable so they are always
+ different (R1 e) */
+ return no_alias;
+ } else if (is_Proj(base2)) {
+ if (is_malloc_Result(base2)) {
+ /* the second one is an offset from a result of a malloc like call, ie.
+ freshly allocated non-aliases heap memory (R1 í) */
+ return no_alias;
+ }
+ }
+ } else if (is_Proj(adr2)) {
+ if (is_malloc_Result(adr2)) {
+ /* the second one is a malloc like call, ie.
+ freshly allocated non-aliases heap memory (R1 í) */
+ return no_alias;
+ }
+ }
+ }