Merge branch 'fix/kernel/inline-functions' into 'master'
[Kernel] Fixes inconsistent AST on inline functions (when not removed by rmtmps). See merge request frama-c/frama-c!4927
No related branches found
No related tags found
Showing
- src/kernel_internals/typing/cabs2cil.ml 5 additions, 40 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/inline.i 20 additions, 0 deletionstests/syntax/inline.i
- tests/syntax/oracle/inline.0.res.oracle 31 additions, 0 deletionstests/syntax/oracle/inline.0.res.oracle
- tests/syntax/oracle/inline.1.res.oracle 31 additions, 0 deletionstests/syntax/oracle/inline.1.res.oracle
- tests/syntax/oracle/inline_def_1.res.oracle 1 addition, 3 deletionstests/syntax/oracle/inline_def_1.res.oracle
Loading
Please register or sign in to comment