diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-07-15 19:33:07 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-07-15 19:33:07 -0400 |
| commit | c031ea2782a1873eee5ba82fb114cd87ff831412 (patch) | |
| tree | 379286812c547be01d6510041383de6dec7764d2 /gcc/analyzer/svalue.h | |
| parent | f364cdffa47af574f90f671b2dcf5afa91442741 (diff) | |
| download | gcc-c031ea2782a1873eee5ba82fb114cd87ff831412.zip gcc-c031ea2782a1873eee5ba82fb114cd87ff831412.tar.gz gcc-c031ea2782a1873eee5ba82fb114cd87ff831412.tar.bz2 | |
analyzer: fix const-correctness of various is_a_helper
gcc/analyzer/ChangeLog:
* svalue.h (is_a_helper <placeholder_svalue *>::test): Make
param and template param const.
(is_a_helper <widening_svalue *>::test): Likewise.
(is_a_helper <compound_svalue *>::test): Likewise.
(is_a_helper <conjured_svalue *>::test): Likewise.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/analyzer/svalue.h')
| -rw-r--r-- | gcc/analyzer/svalue.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/analyzer/svalue.h b/gcc/analyzer/svalue.h index 54b97f8..20d7cf8 100644 --- a/gcc/analyzer/svalue.h +++ b/gcc/analyzer/svalue.h @@ -1063,7 +1063,7 @@ public: template <> template <> inline bool -is_a_helper <placeholder_svalue *>::test (svalue *sval) +is_a_helper <const placeholder_svalue *>::test (const svalue *sval) { return sval->get_kind () == SK_PLACEHOLDER; } @@ -1165,7 +1165,7 @@ public: template <> template <> inline bool -is_a_helper <widening_svalue *>::test (svalue *sval) +is_a_helper <const widening_svalue *>::test (const svalue *sval) { return sval->get_kind () == SK_WIDENING; } @@ -1266,7 +1266,7 @@ public: template <> template <> inline bool -is_a_helper <compound_svalue *>::test (svalue *sval) +is_a_helper <const compound_svalue *>::test (const svalue *sval) { return sval->get_kind () == SK_COMPOUND; } @@ -1366,7 +1366,7 @@ public: template <> template <> inline bool -is_a_helper <conjured_svalue *>::test (svalue *sval) +is_a_helper <const conjured_svalue *>::test (const svalue *sval) { return sval->get_kind () == SK_CONJURED; } |