simple-branching.c

#include <stdio.h>

int main(){
  int i, j, k;
  do {
    if (i == 6){
      k=0;
    }
    else{
      i++;
    }
    i=i+k;
    j=j+1;
  } while (i==j);
  printf("%d\n",i);
  return i;
}

/*
$ cc simple-branching.c
$ ./a.out 
1144737840
$ clang simple-branching.c
$ ./a.out
269027628
*/