[PATCH] D140086: [analyzer][solver] Improve reasoning for not equal to operator
Manas Gupta via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Dec 14 18:58:01 PST 2022
manas created this revision.
manas added a reviewer: steakhal.
Herald added subscribers: ASDenysPetrov, martong, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun.
Herald added a reviewer: NoQ.
Herald added a project: All.
manas requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.
This patch fixes certain cases where solver was not able to infer
disequality due to overlapping of values in rangeset. This case was
casting from lower signed type to bigger unsigned type.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D140086
Files:
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
clang/test/Analysis/constant-folding.c
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D140086.483067.patch
Type: text/x-patch
Size: 4725 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20221215/c0f42e89/attachment.bin>
More information about the cfe-commits
mailing list