avoid more instances of "this location" and "here" in alert-messages

This commit is contained in:
erik-krogh
2022-09-20 16:38:19 +02:00
parent 2602a38d94
commit c241185c21
9 changed files with 76 additions and 76 deletions

View File

@@ -116,5 +116,5 @@ where
// `deref` dereferences `ptr`
deref.getOperand() = ptr.getAUse()
select deref.getOperand(),
ptr.getSourceVariable() + " may be nil at this location, because $@ may not have been checked.",
err, err.getSourceVariable().toString()
"$@ may be nil at this dereference because $@ may not have been checked.", ptr,
ptr.getSourceVariable().toString(), err, err.getSourceVariable().toString()