[all-commits] [llvm/llvm-project] 57e149: [analyzer][docs][NFC] Fix typo in checkers.rst

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

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 57e149d386286031e0fd118acf162056ce9d4795
      https://github.com/llvm/llvm-project/commit/57e149d386286031e0fd118acf162056ce9d4795
  Author: Balazs Benics <balazsbenics at sigmatechnology.se>
  Date:   2021-03-10 (Wed, 10 Mar 2021)

  Changed paths:
    M clang/docs/analyzer/checkers.rst

  Log Message:
  -----------
  [analyzer][docs][NFC] Fix typo in checkers.rst

Move `alpha.core.BoolAssignment` out of the `alpha.clone` enumeration.

Reviewed By: Szelethus

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


  Commit: 0dc0e2a9ab3cc6be3d4012ea861f54e69854472d
      https://github.com/llvm/llvm-project/commit/0dc0e2a9ab3cc6be3d4012ea861f54e69854472d
  Author: Balazs Benics <balazsbenics at sigmatechnology.se>
  Date:   2021-03-10 (Wed, 10 Mar 2021)

  Changed paths:
    A clang/test/Analysis/out-of-bounds-false-positive.c

  Log Message:
  -----------
  [analyzer][NFC] Add more tests for ArrayBoundCheckerV2

According to a Bugzilla ticket (https://bugs.llvm.org/show_bug.cgi?id=45148),
ArrayBoundCheckerV2 produces a false-positive report.
This patch adds a test demonstrating the current //flawed// behavior.
Also adds several similar test cases just to be on the safe side.

Reviewed By: martong

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


  Commit: 0e0ea9ffb8027b2e785b383d66b06bbd92dc7a46
      https://github.com/llvm/llvm-project/commit/0e0ea9ffb8027b2e785b383d66b06bbd92dc7a46
  Author: Balazs Benics <balazsbenics at sigmatechnology.se>
  Date:   2021-03-10 (Wed, 10 Mar 2021)

  Changed paths:
    A clang/test/Analysis/Inputs/ctu-inherited-default-ctor-other.cpp
    A clang/test/Analysis/ctu-inherited-default-ctor.cpp

  Log Message:
  -----------
  [analyzer][CTU][NFC] Add an extra regression test

Before `bc713f6a004723d1325bc16e1efc32d0ac82f939` landed, the analyzer
crashed on this reduced example.
It seems important to have bot `ctu` and `-analyzer-opt-analyze-headers`
enabled in the example.

This test file ensures that no regression happens in the future in this regard.

Reviewed By: martong, NoQ

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


  Commit: bcc662484a95c95f7d193e6a791fc5d1c4a2c74f
      https://github.com/llvm/llvm-project/commit/bcc662484a95c95f7d193e6a791fc5d1c4a2c74f
  Author: Adam Balogh <adam.balogh at ericsson.com>
  Date:   2021-03-10 (Wed, 10 Mar 2021)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/IteratorRangeChecker.cpp
    M clang/test/Analysis/iterator-range.cpp

  Log Message:
  -----------
  [analyzer] Crash fix for alpha.cplusplus.IteratorRange

If the non-iterator side of an iterator operation
`+`, `+=`, `-` or `-=` is `UndefinedVal` an assertions happens.
This small fix prevents this.

Patch by Adam Balogh.

Reviewed By: NoQ

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


Compare: https://github.com/llvm/llvm-project/compare/35bf23e96550...bcc662484a95