[all-commits] [llvm/llvm-project] 7a2d6d: [analyzer][NFC] Inline ExprEngine::evalComplement

[Balazs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7a2d6dea73b594a42b83ed48bd19bd232c29f2b8
      https://github.com/llvm/llvm-project/commit/7a2d6dea73b594a42b83ed48bd19bd232c29f2b8
  Author: Balazs Benics <balazs.benics at sigmatechnology.se>
  Date:   2022-05-27 (Fri, 27 May 2022)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
    M clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp

  Log Message:
  -----------
  [analyzer][NFC] Inline ExprEngine::evalComplement

Reviewed By: martong

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


  Commit: ee8987d585e799ec056da364220e81d97258ddec
      https://github.com/llvm/llvm-project/commit/ee8987d585e799ec056da364220e81d97258ddec
  Author: Balazs Benics <balazs.benics at sigmatechnology.se>
  Date:   2022-05-27 (Fri, 27 May 2022)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
    M clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp

  Log Message:
  -----------
  [analyzer][NFC] Inline ExprEngine::evalMinus

Reviewed By: martong

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


  Commit: f6eab4376432fffe99b6699e6b604a38a8906bfe
      https://github.com/llvm/llvm-project/commit/f6eab4376432fffe99b6699e6b604a38a8906bfe
  Author: Balazs Benics <balazs.benics at sigmatechnology.se>
  Date:   2022-05-27 (Fri, 27 May 2022)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
    M clang/lib/StaticAnalyzer/Core/SVals.cpp
    M clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

  Log Message:
  -----------
  [analyzer][NFC] Inline loc::ConcreteInt::evalBinOp

This patch also refactored some of the enclosing parts.

Reviewed By: martong

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


  Commit: 81066603a8b91ec3edf59622d153ba40f0b4a169
      https://github.com/llvm/llvm-project/commit/81066603a8b91ec3edf59622d153ba40f0b4a169
  Author: Balazs Benics <balazs.benics at sigmatechnology.se>
  Date:   2022-05-27 (Fri, 27 May 2022)

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

  Log Message:
  -----------
  [analyzer][NFC] Remove unused nonloc::ConcreteInt::evalBinOp

Reviewed By: martong

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


  Commit: 813acb12972eceabd2b5b06f2c11d3a1f34579bd
      https://github.com/llvm/llvm-project/commit/813acb12972eceabd2b5b06f2c11d3a1f34579bd
  Author: Balazs Benics <balazs.benics at sigmatechnology.se>
  Date:   2022-05-27 (Fri, 27 May 2022)

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

  Log Message:
  -----------
  [analyzer][NFC] Remove unused SVal::hasConjuredSymbol

Reviewed By: martong

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


  Commit: 3a666dd37a06fd5ff74b9e8fea15e31a80398233
      https://github.com/llvm/llvm-project/commit/3a666dd37a06fd5ff74b9e8fea15e31a80398233
  Author: Balazs Benics <balazs.benics at sigmatechnology.se>
  Date:   2022-05-27 (Fri, 27 May 2022)

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

  Log Message:
  -----------
  [analyzer][NFC] Use MemRegion::getRegion()'s return value unconditionally

Reviewed By: martong

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


  Commit: 3a7a465def4a7faae41467893276910b1faa6152
      https://github.com/llvm/llvm-project/commit/3a7a465def4a7faae41467893276910b1faa6152
  Author: Balazs Benics <balazs.benics at sigmatechnology.se>
  Date:   2022-05-27 (Fri, 27 May 2022)

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

  Log Message:
  -----------
  [analyzer][docs] Fix typo in checker name

Fixes #55720


Compare: https://github.com/llvm/llvm-project/compare/d6708b741936...3a7a465def4a