Merge branch 'fix/virgile/mixed-c-cxx-link' into 'stable/nickel'
Fix context for global ghost declaration See merge request frama-c/frama-clang!227
No related branches found
No related tags found
Showing
- convert.ml 218 additions, 301 deletionsconvert.ml
- convert_acsl.ml 402 additions, 304 deletionsconvert_acsl.ml
- convert_acsl.mli 6 additions, 3 deletionsconvert_acsl.mli
- convert_env.ml 27 additions, 0 deletionsconvert_env.ml
- convert_env.mli 15 additions, 0 deletionsconvert_env.mli
- cxx_utils.ml 34 additions, 0 deletionscxx_utils.ml
- cxx_utils.mli 5 additions, 0 deletionscxx_utils.mli
- fclang_datatype.ml 0 additions, 2 deletionsfclang_datatype.ml
- framaCIRGen_src/ACSLComment.cpp 10 additions, 2 deletionsframaCIRGen_src/ACSLComment.cpp
- framaCIRGen_src/ACSLLogicType.cpp 4 additions, 7 deletionsframaCIRGen_src/ACSLLogicType.cpp
- framaCIRGen_src/ACSLTermOrPredicate.cpp 25 additions, 69 deletionsframaCIRGen_src/ACSLTermOrPredicate.cpp
- framaCIRGen_src/Clang_utils.cpp 1 addition, 5 deletionsframaCIRGen_src/Clang_utils.cpp
- intermediate_format.ast 0 additions, 2 deletionsintermediate_format.ast
- mangling.ml 0 additions, 2 deletionsmangling.ml
- tests/basic/cxx_c_link.c 6 additions, 0 deletionstests/basic/cxx_c_link.c
- tests/basic/cxx_c_link.cpp 6 additions, 0 deletionstests/basic/cxx_c_link.cpp
- tests/basic/ghost_extern_c.cpp 9 additions, 0 deletionstests/basic/ghost_extern_c.cpp
- tests/basic/oracle/cxx_c_link.res.oracle 326 additions, 0 deletionstests/basic/oracle/cxx_c_link.res.oracle
- tests/basic/oracle/ghost_extern_c.res.oracle 8 additions, 0 deletionstests/basic/oracle/ghost_extern_c.res.oracle
- tests/basic/oracle/placement_new.res.oracle 60 additions, 63 deletionstests/basic/oracle/placement_new.res.oracle
Loading
Please register or sign in to comment