[PATCH] D73062: [analyzer] Simplify BoolAssignmentChecker
Mikhail Ramalho via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jan 20 11:40:56 PST 2020
mikhail.ramalho created this revision.
mikhail.ramalho added a reviewer: NoQ.
Herald added subscribers: cfe-commits, Charusso.
Herald added a project: clang.
mikhail.ramalho retitled this revision from "Simplify BoolAssignmentChecker" to "[analyzer] Simplify BoolAssignmentChecker".
Herald added subscribers: dkrupp, donat.nagy, Szelethus, a.sidorin, szepet, baloghadamsoftware, xazax.hun.
Instead of checking the range manually, changed the checker to use assumeInclusiveRangeDual instead.
This patch was part of D28955 <https://reviews.llvm.org/D28955>.
Repository:
rC Clang
https://reviews.llvm.org/D73062
Files:
clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp
clang/test/Analysis/bool-assignment.c
clang/test/Analysis/dead-stores.m
clang/test/Analysis/misc-ps-eager-assume.m
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D73062.239181.patch
Type: text/x-patch
Size: 5635 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20200120/c45cdac0/attachment-0001.bin>
More information about the cfe-commits
mailing list