procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

analyzer: fix const-correctness of various is_a_helper

Browse source 
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>
This commit is contained in:
David Malcolm 2021-07-15 19:33:07 -04:00
parent f364cdffa4
commit c031ea2782
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
gcc/analyzer/svalue.h
View file

@ -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;
}