@@ -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;
}
Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu. Pushed to trunk as c031ea2782a1873eee5ba82fb114cd87ff831412. 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> --- gcc/analyzer/svalue.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-)