[all-commits] [llvm/llvm-project] 88c7b1: [analyzer] Simplify BoolAssignmentChecker

[Mikhail R. Gadelha via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 88c7b1642079439a73b4d7a6e57e67347f574a15
      https://github.com/llvm/llvm-project/commit/88c7b1642079439a73b4d7a6e57e67347f574a15
  Author: Mikhail Gadelha <mikhail.gadelha at sidia.com>
  Date:   2020-01-27 (Mon, 27 Jan 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp

  Log Message:
  -----------
  [analyzer] Simplify BoolAssignmentChecker

Summary:
Instead of checking the range manually, changed the checker to use assumeInclusiveRangeDual instead.

This patch was part of D28955.

Reviewers: NoQ

Reviewed By: NoQ

Subscribers: ddcc, xazax.hun, baloghadamsoftware, szepet, a.sidorin, Szelethus, donat.nagy, dkrupp, Charusso, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D73062