[all-commits] [llvm/llvm-project] e1741e: [analyzer] Reasoning about comparison expressions ...

[Denys Petrov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: e1741e34e00b27cbf9acc9b2eb85b71d2676e968
      https://github.com/llvm/llvm-project/commit/e1741e34e00b27cbf9acc9b2eb85b71d2676e968
  Author: Denys Petrov <dpetrov at accesssoftek.com>
  Date:   2020-06-15 (Mon, 15 Jun 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
    A clang/test/Analysis/constraint_manager_conditions.cpp

  Log Message:
  -----------
  [analyzer] Reasoning about comparison expressions in RangeConstraintManager

Summary:

Implemented RangeConstraintManager::getRangeForComparisonSymbol which handles comparison operators.
RangeConstraintManager::getRangeForComparisonSymbol cares about the sanity of comparison expressions sequences helps reasonably to branch an exploded graph.
It can significantly reduce the graph and speed up the analysis. For more details, please, see the differential revision.

This fixes https://bugs.llvm.org/show_bug.cgi?id=13426

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