-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)