Sophie: coccinelle-examples-1.0.0-0.rc4.2.fc16 i686

coccinelle-examples-1.0.0-0.rc4.2.fc16.i686.rpm

int main() {
  int *x = NULL;
  int *y = NULL;
  if (r) x = ALLOC();
  y = ALLOC();
  if (!x) return;
  if (!y) return;
}