------- Additional Comments From dnovillo at gcc dot gnu dot org 2004-11-29 23:01 ------- (In reply to comment #4) > Adding a may_alias pass after fold all builtins makes this testcase works > (I don't know if this is correct fix or not): > Unfortunately, it is. It's a bit heavy handed for my taste, but we have little choice. Folding builtins has the potential of introducing almost arbitrary GIMPLE code. We don't have much control over what it can be generated.
For 4.1, I would like to convert the may_alias pass into a TODO so that it can be triggered by passes that knowingly introduce new aliasing. For now, your patch is fine (provided you test it again and add a testcase). Please add a FIXME comment, as well. Diego. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18298
