ipbb.sac: POGO fails to remove guard due to no extrema on induction variable
|
|
Bugzilla Link |
1129 |
Created on |
Sep 04, 2014 22:05 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
ipbb.sac |
Extended Description
Created an attachment (id=1012)
Source code to reproduce fault
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
developer rev 18604
(Thu Sep 4 16:26:21 EDT 2014 by sac)
The ipbb.sac test case in the polylib unit tests fails, because
PETL does not compute extrema for the induction variable, colx.
The polylib UnitTestRunGreps otherwise runs clean.
UnitTestRunWorks fails due to linker problems, still unresolved.