[ir2cabs] define wchar_t in C when it appears in C++ code
Showing
- convert.ml 149 additions, 152 deletionsconvert.ml
- convert_env.ml 23 additions, 0 deletionsconvert_env.ml
- convert_env.mli 10 additions, 0 deletionsconvert_env.mli
- cxx_utils.ml 34 additions, 0 deletionscxx_utils.ml
- cxx_utils.mli 5 additions, 0 deletionscxx_utils.mli
- tests/basic/oracle/placement_new.res.oracle 5 additions, 4 deletionstests/basic/oracle/placement_new.res.oracle
- tests/basic/oracle/placement_newb.res.oracle 5 additions, 4 deletionstests/basic/oracle/placement_newb.res.oracle
- tests/specs/oracle/wchar_t.res.oracle 2 additions, 1 deletiontests/specs/oracle/wchar_t.res.oracle
- tests/stl/oracle/limits.res.oracle 25 additions, 24 deletionstests/stl/oracle/limits.res.oracle
- tests/stl/oracle/stl_atomic.res.oracle 80 additions, 62 deletionstests/stl/oracle/stl_atomic.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake10.res.oracle 5 additions, 4 deletionstests/stl/oracle/stl_shared_ptr_mistake10.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake5.res.oracle 5 additions, 4 deletionstests/stl/oracle/stl_shared_ptr_mistake5.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake6.res.oracle 5 additions, 4 deletionstests/stl/oracle/stl_shared_ptr_mistake6.res.oracle
- tests/stl/oracle/stl_system_error.res.oracle 24 additions, 20 deletionstests/stl/oracle/stl_system_error.res.oracle
Loading
Please register or sign in to comment