[clang] [clang][analyzer] PointerSubChecker should not warn on pointers converted to numerical value (PR #111846)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Thu Oct 10 09:07:36 PDT 2024
=?utf-8?q?Balázs_Kéri?= <balazs.keri at ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/111846 at github.com>
================
@@ -61,6 +61,10 @@ void PointerSubChecker::checkPreStmt(const BinaryOperator *B,
if (LR->getSymbolicBase() || RR->getSymbolicBase())
return;
+ if (!B->getLHS()->getType()->isPointerType() ||
+ !B->getRHS()->getType()->isPointerType())
+ return;
----------------
steakhal wrote:
Awesome!
https://github.com/llvm/llvm-project/pull/111846
More information about the cfe-commits
mailing list