[all-commits] [llvm/llvm-project] 9c542b: [analyzer] performTrivialCopy triggers checkLocati...

[T-Gruber via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9c542bcf0a1b243dd39c2ecffdd7331c15ae0fb1
      https://github.com/llvm/llvm-project/commit/9c542bcf0a1b243dd39c2ecffdd7331c15ae0fb1
  Author: T-Gruber <100079402+T-Gruber at users.noreply.github.com>
  Date:   2025-03-04 (Tue, 04 Mar 2025)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
    M clang/unittests/StaticAnalyzer/ExprEngineVisitTest.cpp

  Log Message:
  -----------
  [analyzer] performTrivialCopy triggers checkLocation before binding (#129016)

The triggered callbacks for the default copy constructed instance and
the instance used for initialization now behave in the same way. The LHS
already calls checkBind. To keep this consistent, checkLocation is now
triggered accordingly for the RHS.
Further details on the previous discussion:
https://discourse.llvm.org/t/checklocation-for-implicitcastexpr-of-kind-ck-noop/84729

---------

Authored-by: tobias.gruber <tobias.gruber at concentrio.io>



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications