[PATCH] D73062: [analyzer] Simplify BoolAssignmentChecker

[Mikhail Ramalho via Phabricator via cfe-commits]

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>