[clang] Reapply "[clang][bytecode] Stop relying on `CheckEvaluationResult()` … (PR #226879)

[via cfe-commits]

llvmorg-github-actions[bot] wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-clang

Author: Timm Baeder (tbaederr)

<details>
<summary>Changes</summary>

…(… (#<!-- -->226637)

This reverts commit e0316c1b4762263caa49e3c41ddde752a2b6b775.

This time we also check `Pointee.isInitialized()` in `PtrView::isInitialized()` to catch cases where we call `invokeDtor()` on a Block.

---
Full diff: https://github.com/llvm/llvm-project/pull/226879.diff


20 Files Affected:

- (modified) clang/lib/AST/ByteCode/ByteCodeEmitter.h (+1) 
- (modified) clang/lib/AST/ByteCode/Compiler.cpp (+8-2) 
- (modified) clang/lib/AST/ByteCode/Context.cpp (+3-4) 
- (modified) clang/lib/AST/ByteCode/Disasm.cpp (+1-4) 
- (modified) clang/lib/AST/ByteCode/EvalEmitter.cpp (+46-24) 
- (modified) clang/lib/AST/ByteCode/EvalEmitter.h (+14-3) 
- (modified) clang/lib/AST/ByteCode/EvaluationResult.cpp (+381-1) 
- (modified) clang/lib/AST/ByteCode/EvaluationResult.h (+22-10) 
- (modified) clang/lib/AST/ByteCode/Interp.cpp (+3-1) 
- (modified) clang/lib/AST/ByteCode/InterpBuiltinObjectSize.cpp (+1-1) 
- (modified) clang/lib/AST/ByteCode/Pointer.cpp (+5-23) 
- (modified) clang/lib/AST/ByteCode/Pointer.h (+19-4) 
- (modified) clang/lib/AST/ExprConstShared.h (+42) 
- (modified) clang/lib/AST/ExprConstant.cpp (+47-98) 
- (modified) clang/test/AST/ByteCode/builtin-functions.cpp (+3-3) 
- (modified) clang/test/AST/ByteCode/codegen-constexpr-unknown.cpp (+1) 
- (modified) clang/test/AST/ByteCode/references.cpp (+2-4) 
- (modified) clang/test/CodeGenCXX/global-init.cpp (+8) 
- (modified) clang/test/SemaCXX/PR19955.cpp (+3) 
- (modified) clang/test/SemaCXX/cxx2c-expansion-stmts.cpp (+2-2) 


``````````diff
The server is unavailable at this time. Please wait a few minutes before you try again.
``````````

</details>


https://github.com/llvm/llvm-project/pull/226879