[all-commits] [llvm/llvm-project] facad2: [Analyzer] Fix for `ExprEngine::computeObjectUnder...

Balogh, Ádám via All-commits all-commits at lists.llvm.org
Fri Sep 25 04:28:25 PDT 2020


  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: facad21b29839a08fdf448eb4dd5a4e31e293b9b
      https://github.com/llvm/llvm-project/commit/facad21b29839a08fdf448eb4dd5a4e31e293b9b
  Author: Adam Balogh <adam.balogh at ericsson.com>
  Date:   2020-09-25 (Fri, 25 Sep 2020)

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

  Log Message:
  -----------
  [Analyzer] Fix for `ExprEngine::computeObjectUnderConstruction()` for base and delegating consturctor initializers

For /C++/ constructor initializers `ExprEngine:computeUnderConstruction()`
asserts that they are all member initializers. This is not neccessarily
true when this function is used to get the return value for the
construction context thus attempts to fetch return values of base and
delegating constructor initializers result in assertions. This small
patch fixes this issue.

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




More information about the All-commits mailing list