Updates result message to be more precise

This commit is contained in:
Philippe Antoine
2020-07-10 14:24:24 +02:00
parent 50f2f69f5f
commit 3117c67a66

View File

@@ -48,4 +48,4 @@ where
candidateResultChecked(check, eqop) and
// and which has not been checked before in this code path
candidateResultUnchecked(unchecked)
select check, "This null check is redundant because the value is $@ ", unchecked, "dereferenced here"
select check, "This null check is redundant or there is a missing null check before $@ ", unchecked, "where dereferencing happens"