[all-commits] [llvm/llvm-project] 770ad9: [Analyzer] Fix for iterator modeling and checkers:...

[Balogh, Ádám via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 770ad9f55e660e0ec89f61d5579dfafad17ab5f5
      https://github.com/llvm/llvm-project/commit/770ad9f55e660e0ec89f61d5579dfafad17ab5f5
  Author: Adam Balogh <adam.balogh at ericsson.com>
  Date:   2020-02-25 (Tue, 25 Feb 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/Iterator.cpp
    M clang/test/Analysis/iterator-modelling.cpp

  Log Message:
  -----------
  [Analyzer] Fix for iterator modeling and checkers: handle negative numbers correctly

Currently, using negative numbers in iterator operations (additions and
subractions) results in advancements with huge positive numbers due to
an error. This patch fixes it.

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