[alias] emit warning when casting to an incompatible type
Showing
- src/plugins/alias/options.ml 1 addition, 0 deletionssrc/plugins/alias/options.ml
- src/plugins/alias/options.mli 1 addition, 0 deletionssrc/plugins/alias/options.mli
- src/plugins/alias/simplified.ml 10 additions, 1 deletionsrc/plugins/alias/simplified.ml
- src/plugins/alias/tests/basic/oracle/assignment1.res.oracle 4 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment1.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment2.res.oracle 4 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment2.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment3.res.oracle 2 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment3.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment4.res.oracle 4 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment4.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment5.res.oracle 4 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment5.res.oracle
- src/plugins/alias/tests/basic/oracle/cast1.res.oracle 6 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/cast1.res.oracle
- src/plugins/alias/tests/basic/oracle/conditional1.res.oracle 3 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/conditional1.res.oracle
- src/plugins/alias/tests/basic/oracle/function1.res.oracle 5 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/function1.res.oracle
- src/plugins/alias/tests/basic/oracle/function2.res.oracle 3 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/function2.res.oracle
- src/plugins/alias/tests/basic/oracle/function3.res.oracle 5 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/function3.res.oracle
- src/plugins/alias/tests/basic/oracle/function4.res.oracle 2 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/function4.res.oracle
- src/plugins/alias/tests/basic/oracle/function5.res.oracle 3 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/function5.res.oracle
- src/plugins/alias/tests/basic/oracle/globctr.res.oracle 2 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/globctr.res.oracle
- src/plugins/alias/tests/basic/oracle/switch1.res.oracle 4 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/switch1.res.oracle
- src/plugins/alias/tests/basic/oracle/switch2.res.oracle 4 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/switch2.res.oracle
- src/plugins/alias/tests/basic/oracle/while_for1.res.oracle 1 addition, 0 deletionssrc/plugins/alias/tests/basic/oracle/while_for1.res.oracle
- src/plugins/alias/tests/basic/oracle/while_for2.res.oracle 3 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/while_for2.res.oracle
Loading
Please register or sign in to comment