[all-commits] [llvm/llvm-project] 10a7ee: [analyzer] Fix for the crash in #56873

[isuckatcs via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 10a7ee0bac211810376f29a879a9f73ed2ab15fc
      https://github.com/llvm/llvm-project/commit/10a7ee0bac211810376f29a879a9f73ed2ab15fc
  Author: isuckatcs <65320245+isuckatcs at users.noreply.github.com>
  Date:   2022-08-03 (Wed, 03 Aug 2022)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
    A clang/test/Analysis/Issue56873.cpp

  Log Message:
  -----------
  [analyzer] Fix for the crash in #56873

In ExprEngine::bindReturnValue() we cast an SVal to DefinedOrUnknownSVal,
however this SVal can also be Undefined, which leads to an assertion failure.

Fixes: #56873

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