llvm-project

shylie/llvm-project

Fork 0

Commit Graph

Author	SHA1	Message	Date
Timm Baeder	8edbf23098	[clang][bytecode] Revisit reference variables as constexpr-unknown in C++26 (#187918 ) When revisiting `const T& range = f(T());`, we do mark the variable for `range` as constexpr-unknown, but not the temporary variable we create for `T()`. Change that. Then we also need to ignore constexpr-unknown pointers in `CheckInvoke()`. Fixes https://github.com/llvm/llvm-project/issues/187775	2026-04-01 09:49:55 +02:00
Timm Baeder	aa3d6b37c7	[clang][bytecode] Attach block scope variables to the root scope (#183279 ) ... if we don't have a block scope available. This can happen in `EvalEmitter` scenarios and can cause local variable blocks to be prematurely converted to dead blocks. Attach `ScopeKind::Block` variable to the root scope instead.	2026-02-26 14:36:06 +01:00
Timm Baeder	11dd7d98a6	[clang][bytecode] Reject constexpr-unknown values from comparisons (#133701 )	2025-03-31 18:53:01 +02:00

Author

SHA1

Message

Date

Timm Baeder

8edbf23098

[clang][bytecode] Revisit reference variables as constexpr-unknown in C++26 (#187918 )

When revisiting `const T& range = f(T());`, we do mark the variable for
`range` as constexpr-unknown, but not the temporary variable we create
for `T()`. Change that.

Then we also need to ignore constexpr-unknown pointers in
`CheckInvoke()`.

Fixes https://github.com/llvm/llvm-project/issues/187775

2026-04-01 09:49:55 +02:00

Timm Baeder

aa3d6b37c7

[clang][bytecode] Attach block scope variables to the root scope (#183279 )

... if we don't have a block scope available. This can happen in
`EvalEmitter` scenarios and can cause local variable blocks to be
prematurely converted to dead blocks. Attach `ScopeKind::Block` variable
to the root scope instead.

2026-02-26 14:36:06 +01:00

Timm Baeder

11dd7d98a6

[clang][bytecode] Reject constexpr-unknown values from comparisons (#133701 )

2025-03-31 18:53:01 +02:00

3 Commits