diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-08-19 00:16:27 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-08-19 00:16:27 +0000 |
| commit | 30afe5e7638cb4233692978365e4ceb4f8d2dc84 (patch) | |
| tree | 599410a1360bbe8c7e85e3cba292df7331951809 /gcc/analyzer/ChangeLog | |
| parent | d7c3000147c1d8090f66a2baf4623d2c0dfe8eb6 (diff) | |
| download | gcc-30afe5e7638cb4233692978365e4ceb4f8d2dc84.zip gcc-30afe5e7638cb4233692978365e4ceb4f8d2dc84.tar.gz gcc-30afe5e7638cb4233692978365e4ceb4f8d2dc84.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer/ChangeLog')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 482ab88..ae77b7e 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,21 @@ +2022-08-18 Tim Lange <mail@tim-lange.me> + + PR analyzer/106181 + * analyzer.opt: Add Wanalyzer-imprecise-floating-point-arithmetic. + * region-model.cc (is_any_cast_p): Formatting. + (region_model::check_region_size): Ensure precondition. + (class imprecise_floating_point_arithmetic): New abstract + diagnostic class for all floating-point related warnings. + (class float_as_size_arg): Concrete diagnostic class to complain + about floating-point operands inside the size argument. + (class contains_floating_point_visitor): + New visitor to find floating-point operands inside svalues. + (region_model::check_dynamic_size_for_floats): New function. + (region_model::set_dynamic_extents): + Call to check_dynamic_size_for_floats. + * region-model.h (class region_model): + Add region_model::check_dynamic_size_for_floats. + 2022-08-16 Martin Liska <mliska@suse.cz> * region-model.cc: Fix -Winconsistent-missing-override clang |