diff options
| author | Martin Liska <mliska@suse.cz> | 2022-08-24 10:10:28 +0200 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2022-08-24 10:10:28 +0200 |
| commit | 4483fe115cef3eea1d64e913816e2d117b38ac73 (patch) | |
| tree | e9e49ed1ea26600674c1590d69bb5f458126b488 /gcc/analyzer | |
| parent | 9dfe1f671aee1e41ded1563ffd974f510800572b (diff) | |
| parent | 42301c02e458cdce646ffaf7ea1df502ab2e8ddc (diff) | |
| download | gcc-4483fe115cef3eea1d64e913816e2d117b38ac73.zip gcc-4483fe115cef3eea1d64e913816e2d117b38ac73.tar.gz gcc-4483fe115cef3eea1d64e913816e2d117b38ac73.tar.bz2 | |
Merge branch 'master' into devel/sphinx
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 22 | ||||
| -rw-r--r-- | gcc/analyzer/region-model.cc | 2 |
2 files changed, 23 insertions, 1 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 482ab88..01cf9d8 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,25 @@ +2022-08-22 Martin Liska <mliska@suse.cz> + + * region-model.cc: Add missing final keyword. + +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 diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index ec29be2..5a64c00 100644 --- a/gcc/analyzer/region-model.cc +++ b/gcc/analyzer/region-model.cc @@ -5093,7 +5093,7 @@ public: return "float_as_size_arg_diagnostic"; } - bool subclass_equal_p (const pending_diagnostic &other) const + bool subclass_equal_p (const pending_diagnostic &other) const final override { return same_tree_p (m_arg, ((const float_as_size_arg &) other).m_arg); } |