When we check if this is concrete the guard checks to ensure the argument
is non null but the check here is wrongly returning early when the check
is non null meaning when it is null and therefore not concrete it will
end up doing a null dereference.
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
gcc/rust/ChangeLog:
* typecheck/rust-tyty-subst.cc (SubstitutionArg::is_conrete): fix check
bool
SubstitutionArg::is_conrete () const
{
- if (argument != nullptr)
- return true;
+ if (argument == nullptr)
+ return false;
if (argument->get_kind () == TyTy::TypeKind::PARAM)
return false;