infinite loop bug

When I compile

int main ()
{
   for (i=0; true;) {
       i = _add_SxS_(i,0);
   }
   return i;
}

with sac2c versions 2.0.0-Tintigny-22-gf330c, I get a segmentation fault.