cil icon indicating copy to clipboard operation
cil copied to clipboard

Published 20 hours ago • verified publisher icon goblint

Support for C11

Open michael-schwarz opened this issue 3 years ago • 3 comments

Adds support for C11 to Goblint (see #13).

This is work done by @coslu for his Bachelor's thesis.

Cherry-picked

  • [x] #48
  • [x] #58
  • [x] #80
  • [ ] Anything else?

michael-schwarz avatar Dec 04 '20 08:12 michael-schwarz

Still to investigate: Does cpp actually produce code that contains __generic ?

It does and one would ideally like to compile it away in CIL such that Goblint does not need to handle it.

michael-schwarz avatar Dec 08 '20 10:12 michael-schwarz

Is there some reason this PR hasn't been merged yet?

Because no-one has added C11 support to Goblint yet (C11 threading, AST changes if required, handling of thread-local variables, ...). We wanted to bundle these into a BSc thesis at some point, but I guess we can do a minimal support first.

michael-schwarz avatar Sep 09 '21 15:09 michael-schwarz

I added a TODO list into the original PR description with a list of things we have already cherry-picked out of here. That should help us know when at one point we have cherry-picked everything from here.

sim642 avatar Feb 17 '22 09:02 sim642