-bopt:scc corrupts predicates for some guards

Bugzilla Link	1074
Created on	May 01, 2013 19:48
Resolution	FIXED
Resolved on	May 01, 2013 19:55
Version	svn
OS	Linux
Architecture	PC

Extended Description

If you compile with -ecc (this does not apply to -check c, because
SCC doesn't run then...), guard removal for some guards sets
the result predicate variable to PRF_ARG2, rather than to TRUE.
This is generally a bad idea, especially since PRF_ARG2 is usually
integer and the predicate is Boolean.
Fix underway.
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
 product rev 18126 linux-gnu_x86_64
 (Wed May  1 14:40:08 EDT 2013 by sac)