-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)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information