Frama-C news and ideas

To content | To menu | To search | Frama-C Home

StackOverflow answers everything

One thing leading to another, I recently ended up wondering why, according to an individual close to the situation, the C snippet below is considered defined in C99.

  struct X { int a[5]; } f();
  int *p = f().a;
  printf("%p\n", p);

The programming Q&A website StackOverflow had never failed me before, so I asked there. Lo and behold, less than 24 hours later, a very reasonable explanation appeared.

I would like to thank my colleague Virgile Prevosto for answering my question on StackOverflow.