Support for C11 - Githubissues

goblint / cil

C Intermediate Language

https://goblint.github.io/cil/

Other

40 stars 16 forks source link

Support for C11 #24

Open michael-schwarz opened 3 years ago

michael-schwarz commented 3 years ago

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 commented 3 years ago

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 commented 3 years ago

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.

sim642 commented 2 years ago

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.