Intermittent failure with -check c

Bugzilla Link	1182
Created on	Dec 21, 2016 21:13
Version	svn
OS	Linux
Architecture	PC
Attachments	time2code.sac

Extended Description

Created an attachment (id=1052)
source code to reproduce failure
****** Optimizing regular function:
  ******  _MAIN::main( ): ...
           Inserting symbolic array attributes ...
           Eliminating index vectors (split selections) ...
           Eliminating common subexpressions ...
           Applying prf unrolling ...
           Inferring loop invariant variables ...
           Applying type upgrade ...
           Eliminating type variables ...
           Eliminating bottom types ...
compilation failed while Running SAC optimizations, 1 warning(s).
This failure occurs very sporadically, and it always seems to
go away upon rerunning the compile. It has been around for many
moons.
sac2c -V
sac2c 1.2.beta-BlackForest-348-72a4d
 developer
 (Wed Dec 21 15:12:02 EST 2016 by sac)
It looks to be related to the use of -check c.
I now have what appears to be a solid failure with -dopogo -check c.
sac2c time2code.sac  -v1  -noainl    -v4  -check c -dopogo