Skip to main content
. 2015 Feb 26;15(3):4837–4869. doi: 10.3390/s150304837
void foo ( int 32_t x) {
 if ( x > 1000 ) {
  x = 1000;
 }
 if ( x > 0 ) {
  x = x + 1000;
  if ( x < 0 ) {
   panic ( ) ;
  }
 }
}