[all-commits] [llvm/llvm-project] 5a9e77: [analyzer] NFC: Store the pointee/referenced type ...

[nullptr-cpp via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 5a9e7789396e7618c1407aafc329e00584437a2f
      https://github.com/llvm/llvm-project/commit/5a9e7789396e7618c1407aafc329e00584437a2f
  Author: Adam Balogh <adam.balogh at ericsson.com>
  Date:   2020-08-27 (Thu, 27 Aug 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp
    M clang/lib/StaticAnalyzer/Core/DynamicType.cpp
    M clang/test/Analysis/cast-value-state-dump.cpp

  Log Message:
  -----------
  [analyzer] NFC: Store the pointee/referenced type for dynamic type tracking.

The successfulness of a dynamic cast depends only on the C++ class, not the pointer or reference. Thus if *A is a *B, then &A is a &B,
const *A is a const *B etc. This patch changes DynamicCastInfo to store
and check the cast between the unqualified pointed/referenced types.
It also removes e.g. SubstTemplateTypeParmType from both the pointer
and the pointed type.

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


  Commit: 4448affede5100658530aea8793ae7a7bc05a110
      https://github.com/llvm/llvm-project/commit/4448affede5100658530aea8793ae7a7bc05a110
  Author: Adam Balogh <adam.balogh at ericsson.com>
  Date:   2020-08-27 (Thu, 27 Aug 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp
    M clang/test/Analysis/Inputs/llvm.h
    M clang/test/Analysis/cast-value-logic.cpp
    M clang/test/Analysis/cast-value-notes.cpp

  Log Message:
  -----------
  [analyzer] pr47037: CastValueChecker: Support for the new variadic isa<>.

llvm::isa<>() and llvm::isa_and_not_null<>() template functions recently became
variadic. Unfortunately this causes crashes in case of isa_and_not_null<>()
and incorrect behavior in isa<>(). This patch fixes this issue.

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


  Commit: 37c21dbb3a3209c31f22070c58f22c77357fa777
      https://github.com/llvm/llvm-project/commit/37c21dbb3a3209c31f22070c58f22c77357fa777
  Author: Yang Fan <nullptr.cpp at gmail.com>
  Date:   2020-08-27 (Thu, 27 Aug 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

  Log Message:
  -----------
  [analyzer] Fix the debug print about debug egraph dumps requiring asserts.

There's no need to remind people about that when clang *is* built with asserts.

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


  Commit: 6e26e49edf0d509fb3e76d984f2cbc8288fd6dc5
      https://github.com/llvm/llvm-project/commit/6e26e49edf0d509fb3e76d984f2cbc8288fd6dc5
  Author: Yang Fan <nullptr.cpp at gmail.com>
  Date:   2020-08-27 (Thu, 27 Aug 2020)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
    M clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp

  Log Message:
  -----------
  [analyzer] NFC: Fix wrong parameter name in printFormattedEntry.

Parameters were in a different order in the header and in the implementation.

Fix surrounding comments a bit.

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


Compare: https://github.com/llvm/llvm-project/compare/52f1df092373...6e26e49edf0d