diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-02-13 00:16:38 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-02-13 00:16:38 +0000 |
| commit | fab095dad5e1970ceae598ec9c98b07cce3eb599 (patch) | |
| tree | be76877333db8e8f816872e041e014d555692fd7 /gcc/analyzer | |
| parent | eb64b0b285b4fda9e8eeda4c2f370e636b1ab2ae (diff) | |
| download | gcc-fab095dad5e1970ceae598ec9c98b07cce3eb599.zip gcc-fab095dad5e1970ceae598ec9c98b07cce3eb599.tar.gz gcc-fab095dad5e1970ceae598ec9c98b07cce3eb599.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 4cc5097..59f6d92 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,30 @@ +2021-02-12 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/98969 + * engine.cc (readability): Add names for the various arbitrary + values. Handle NOP_EXPR and INTEGER_CST. + (readability_comparator): Combine the readability tests for + tree and stack depth, rather than performing them sequentially. + (impl_region_model_context::on_state_leak): Strip off top-level + casts. + * region-model.cc (region_model::get_representative_path_var): Add + type-checking, moving the bulk of the implementation to... + (region_model::get_representative_path_var_1): ...here. Respect + types in casts by recursing and re-adding the cast, rather than + merely stripping them off. Use the correct type when handling + region_svalue. + (region_model::get_representative_tree): Strip off any top-level + cast. + (region_model::get_representative_path_var): Add type-checking, + moving the bulk of the implementation to... + (region_model::get_representative_path_var_1): ...here. + * region-model.h (region_model::get_representative_path_var_1): + New decl + (region_model::get_representative_path_var_1): New decl. + * store.cc (append_pathvar_with_type): New. + (binding_cluster::get_representative_path_vars): Cast path_vars + to the correct type when adding them to *OUT_PVS. + 2021-02-09 David Malcolm <dmalcolm@redhat.com> PR analyzer/98575 |