use a more detailed alert message in bitwise-sign-check

This commit is contained in:
erik-krogh
2022-08-23 11:18:45 +02:00
parent d96d6721ba
commit afadcd9b45
3 changed files with 3 additions and 3 deletions

View File

@@ -25,4 +25,4 @@ where
forall(int op | op = lhs.(BitwiseAndExpr).getAnOperand().getValue().toInt() | op < 0) and
// exception for cases involving macros
not e.isAffectedByMacro()
select e, "Sign check of a bitwise operation."
select e, "Potential unsafe sign check of a bitwise operation."