diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-08-21 17:19:15 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-08-22 09:51:22 -0400 |
| commit | 294b6da21bbd8297fe6aee497ac6c8e561637e70 (patch) | |
| tree | 073f20c5129c4385d621dbe8a0057b09c1a62731 /gcc/tree-vectorizer.h | |
| parent | fc34d04b075244e2ff4ca66079e2128c0cde026c (diff) | |
| download | gcc-294b6da21bbd8297fe6aee497ac6c8e561637e70.zip gcc-294b6da21bbd8297fe6aee497ac6c8e561637e70.tar.gz gcc-294b6da21bbd8297fe6aee497ac6c8e561637e70.tar.bz2 | |
analyzer: simplify region_model::push_frame
region_model::push_frame was binding arguments for both the default SSA
name for each parameter, and the underlying parameter.
Simplify the generated states by only binding the default SSA name if
it exists, or the parameter if there is no default SSA name.
gcc/analyzer/ChangeLog:
* region-model.cc (region_model::push_frame): Bind the default
SSA name for each parm if it exists, falling back to the parm
itself otherwise, rather than doing both.
gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/malloc-ipa-8-double-free.c: Drop
-fanalyzer-verbose-state-changes.
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions