[clang2ir] remove useless casts in ACSL++ translation
Showing
- framaCIRGen_src/ACSLTermOrPredicate.cpp 1 addition, 34 deletionsframaCIRGen_src/ACSLTermOrPredicate.cpp
- tests/basic/oracle/cxx_c_link.res.oracle 321 additions, 0 deletionstests/basic/oracle/cxx_c_link.res.oracle
- tests/basic/oracle/placement_new.res.oracle 2 additions, 3 deletionstests/basic/oracle/placement_new.res.oracle
- tests/basic/oracle/placement_newb.res.oracle 2 additions, 3 deletionstests/basic/oracle/placement_newb.res.oracle
- tests/specs/oracle/logic.res.oracle 1 addition, 1 deletiontests/specs/oracle/logic.res.oracle
- tests/stl/oracle/stl_algorithm.res.oracle 3 additions, 4 deletionstests/stl/oracle/stl_algorithm.res.oracle
- tests/stl/oracle/stl_bool.res.oracle 3 additions, 4 deletionstests/stl/oracle/stl_bool.res.oracle
- tests/stl/oracle/stl_functional.res.oracle 3 additions, 4 deletionstests/stl/oracle/stl_functional.res.oracle
- tests/stl/oracle/stl_memory.res.oracle 3 additions, 4 deletionstests/stl/oracle/stl_memory.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake10.res.oracle 3 additions, 4 deletionstests/stl/oracle/stl_shared_ptr_mistake10.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake5.res.oracle 3 additions, 4 deletionstests/stl/oracle/stl_shared_ptr_mistake5.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake6.res.oracle 3 additions, 4 deletionstests/stl/oracle/stl_shared_ptr_mistake6.res.oracle
- tests/stl/oracle/stl_system_error.res.oracle 3 additions, 4 deletionstests/stl/oracle/stl_system_error.res.oracle
- tests/stl/oracle/stl_typeinfo.res.oracle 3 additions, 4 deletionstests/stl/oracle/stl_typeinfo.res.oracle
- tests/stl/oracle/stl_unique_ptr.res.oracle 3 additions, 4 deletionstests/stl/oracle/stl_unique_ptr.res.oracle
Loading
Please register or sign in to comment