test_cases/diff_tests/scc/same.0.c

struct M {
  int head;
  struct M * tail;
};

int loop(struct M * m) {
  return m && m == m->tail;
}