[Parsing] accept C11's _Thread_local
Showing
- src/kernel_internals/parsing/clexer.mll 21 additions, 6 deletionssrc/kernel_internals/parsing/clexer.mll
- src/kernel_internals/parsing/cparser.mly 5 additions, 1 deletionsrc/kernel_internals/parsing/cparser.mly
- src/kernel_services/ast_printing/cil_printer.ml 3 additions, 0 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- tests/syntax/oracle/thread.res.oracle 19 additions, 0 deletionstests/syntax/oracle/thread.res.oracle
- tests/syntax/thread.i 16 additions, 0 deletionstests/syntax/thread.i
Loading
Please register or sign in to comment