This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/71104] [7 Regression] ICE: verify_ssa failed (with vfork / error: definition in block 3 does not dominate use in block 7 )
- From: "glisse at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 17 May 2016 12:21:29 +0000
- Subject: [Bug tree-optimization/71104] [7 Regression] ICE: verify_ssa failed (with vfork / error: definition in block 3 does not dominate use in block 7 )
- Auto-submitted: auto-generated
- References: <bug-71104-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71104
--- Comment #9 from Marc Glisse <glisse at gcc dot gnu.org> ---
(In reply to rguenther@suse.de from comment #8)
> Not that I like this proposal at all (given it changes function arg
> evaluation order on x86_64).
Does it?
"the function is evaluated before all its arguments, but any pair of arguments
(from the argument list) is indeterminately sequenced"
The notation a(b1, b2, b3) means that there is no particular order between b1
and b2, otherwise it would be written a(b, c, d).