[all-commits] [llvm/llvm-project] 21daad: [analyzer] Fix static_cast on pointer-to-member ha...

[Deep Majumder via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 21daada95079a37c7ca259fabfc735b6d1b362ad
      https://github.com/llvm/llvm-project/commit/21daada95079a37c7ca259fabfc735b6d1b362ad
  Author: Deep Majumder <deep.majumder2019 at gmail.com>
  Date:   2021-02-15 (Mon, 15 Feb 2021)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
    M clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp
    M clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp
    M clang/test/Analysis/pointer-to-member.cpp
    A clang/test/Analysis/reinterpret-cast-pointer-to-member.cpp

  Log Message:
  -----------
  [analyzer] Fix static_cast on pointer-to-member handling

This commit fixes bug #48739. The bug was caused by the way static_casts
on pointer-to-member caused the CXXBaseSpecifier list of a
MemberToPointer to grow instead of shrink.
The list is now grown by implicit casts and corresponding entries are
removed by static_casts. No-op static_casts cause no effect.

Reviewed By: vsavchenko

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


  Commit: f8d3f47e1fd09392aa30df83849b25acd8c59a25
      https://github.com/llvm/llvm-project/commit/f8d3f47e1fd09392aa30df83849b25acd8c59a25
  Author: Deep Majumder <deep.majumder2019 at gmail.com>
  Date:   2021-02-15 (Mon, 15 Feb 2021)

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

  Log Message:
  -----------
  [analyzer] Updated comments to reflect D85817

Changed DeclaratorDecl in comment to NamedDecl

Reviewed By: vsavchenko

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


Compare: https://github.com/llvm/llvm-project/compare/080866470d3e...f8d3f47e1fd0