search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
136 stars 20 forks source link

Support for Universal Character Names, `char16_t`, and `char32_t` (part of C99/C11) #80

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

@coslu already did the work for this in #24. We might now need it to parse some of our test programs, so I manually cherry-picked these changes to here.

This will also require a few minor changes to Goblint, but it seems as a first approximation it suffices to ignore encodings on the Goblint side.

michael-schwarz commented 2 years ago

Actually, we have to be more lenient in asmoperand again (like we used to be before this PR) and not only allow one_string_constant but const_raw_string, otherwise downstream Goblint tests fail.