1 file changed
+1
-1
lines changed- regression/ansi-c/errors/file_with_no_newline.desc+7
- regression/ansi-c/errors/file_with_no_newline.i+1
- regression/cbmc-library/floor-01/main.c+5-2
- regression/cbmc-library/floor-01/test.desc+2-2
- regression/cbmc-library/floorf-01/main.c+5-2
- regression/cbmc-library/floorf-01/test.desc+2-2
- regression/cbmc-library/floorl-01/main.c+9-2
- regression/cbmc-library/floorl-01/test.desc+2-2
- regression/cbmc-library/round-01/main.c+7-2
- regression/cbmc-library/round-01/test.desc+2-2
- regression/cbmc-library/roundf-01/main.c+7-2
- regression/cbmc-library/roundf-01/test.desc+2-2
- regression/cbmc-library/roundl-01/main.c+11-2
- regression/cbmc-library/roundl-01/test.desc+2-2
- regression/cbmc-library/trunc-01/main.c+5-2
- regression/cbmc-library/trunc-01/test.desc+2-2
- regression/cbmc-library/truncf-01/main.c+5-2
- regression/cbmc-library/truncf-01/test.desc+2-2
- regression/cbmc-library/truncl-01/main.c+9-2
- regression/cbmc-library/truncl-01/test.desc+2-2
- regression/cbmc/Pointer_array8/main.c+21
- regression/cbmc/Pointer_array8/test.desc+8
- regression/cbmc/array-cell-sensitivity15/test.desc+1-2
- src/ansi-c/ansi_c_parser.cpp+2-2
- src/ansi-c/library/math.c+9-9
- src/cpp/cpp_parser.h+1-1
- src/pointer-analysis/value_set_dereference.cpp+1
- src/util/parser.cpp+1-1
- src/util/parser.h+20-9
- src/util/pointer_offset_size.cpp+1-8
- src/util/simplify_expr.cpp+5
- src/util/simplify_expr_class.h+3
- src/util/simplify_expr_floatbv.cpp+22
0 commit comments