Fixes tests: explicitly casts pointers to integers to avoid a new warning.
Showing
- src/plugins/wp/tests/wp_acsl/pointer.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_acsl/pointer.i
- src/plugins/wp/tests/wp_plugin/frame.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/frame.i
- src/plugins/wp/tests/wp_usage/code_spec.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_usage/code_spec.i
- tests/builtins/alloc.c 1 addition, 1 deletiontests/builtins/alloc.c
- tests/builtins/imprecise-malloc-free.c 4 additions, 4 deletionstests/builtins/imprecise-malloc-free.c
- tests/builtins/imprecise.c 3 additions, 3 deletionstests/builtins/imprecise.c
- tests/builtins/long_init.c 2 additions, 2 deletionstests/builtins/long_init.c
- tests/builtins/long_init2.c 2 additions, 2 deletionstests/builtins/long_init2.c
- tests/builtins/long_init3.c 2 additions, 2 deletionstests/builtins/long_init3.c
- tests/builtins/memchr.c 1 addition, 1 deletiontests/builtins/memchr.c
- tests/builtins/memcpy.c 1 addition, 1 deletiontests/builtins/memcpy.c
- tests/builtins/oracle/alloc_weak.res.oracle 2 additions, 0 deletionstests/builtins/oracle/alloc_weak.res.oracle
- tests/builtins/strchr.c 1 addition, 1 deletiontests/builtins/strchr.c
- tests/builtins/strlen.c 1 addition, 1 deletiontests/builtins/strlen.c
- tests/builtins/strnlen2.c 1 addition, 1 deletiontests/builtins/strnlen2.c
- tests/builtins/wcslen.c 1 addition, 1 deletiontests/builtins/wcslen.c
- tests/slicing/slice_no_body.i 1 addition, 1 deletiontests/slicing/slice_no_body.i
- tests/syntax/merge_loc.i 1 addition, 1 deletiontests/syntax/merge_loc.i
- tests/syntax/type_redef.i 1 addition, 1 deletiontests/syntax/type_redef.i
- tests/value/addition.i 5 additions, 5 deletionstests/value/addition.i
Loading
Please register or sign in to comment