[all-commits] [llvm/llvm-project] afcb77: [Analyzer] Fix for incorrect use of container and ...

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

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: afcb77cc88a2ed489bbd383774c54daa82340761
      https://github.com/llvm/llvm-project/commit/afcb77cc88a2ed489bbd383774c54daa82340761
  Author: Adam Balogh <adam.balogh at ericsson.com>
  Date:   2020-03-30 (Mon, 30 Mar 2020)

  Changed paths:
    M clang/include/clang/Basic/DiagnosticDriverKinds.td
    M clang/lib/StaticAnalyzer/Checkers/ContainerModeling.cpp
    A clang/test/Analysis/container-modeling-no-aggressive-binary-operation-simplification-warn.cpp
    A clang/test/Analysis/iterator-modeling-no-aggressive-binary-operation-simplification-no-crash.cpp
    M clang/test/Analysis/loop-widening-notes.cpp

  Log Message:
  -----------
  [Analyzer] Fix for incorrect use of container and iterator checkers

Iterator checkers (and planned container checkers) need the option
aggressive-binary-operation-simplification to be enabled. Without this
option they may cause assertions. To prevent such misuse, this patch adds
a preventive check which issues a warning and denies the registartion of
the checker if this option is disabled.

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