------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-09 16:51 ------- (In reply to comment #8) > I'm not sure. In my specific example above, after the combination we don't > know which i++ gets executed first because the order is not guaranteed within > an argument list of a single function call (right?) So if we want to include > combinations whose arguments have side-effects, we have to prove they don't > interact with any other arguments.
What Diego is saying is that there are never any arguments with side effects at GIMPLE level. everything is well defined at the point which we can do the combining. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21982