#
51c7338c |
| 29-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Fix dummy handling for p2280r4 (#124396)
This makes some other problems show up like the fact that we didn't suppress diagnostics during __builtin_constant_p evaluation.
|
Revision tags: llvmorg-21-init |
|
#
6972788b |
| 20-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Fix discarding DerivedToBase casts (#123523)
|
#
046b064d |
| 20-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode][NFC] Use FixedPoint opaque int API (#123522)
Now that we have it, use it.
|
#
0ab1f577 |
| 19-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Register decomposition holding vars (#123515)
|
#
90696d17 |
| 18-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode][NFC] Simplify visitDeclRef (#123380)
Try to reduce indentation here.
|
#
c7ea4c18 |
| 17-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Revisit global variables separately (#123358)
Call `EvaluateAsInitializer()` explicitly here, so we don't abort the evaluation of the `DeflRefExpr` just because the initializer of
[clang][bytecode] Revisit global variables separately (#123358)
Call `EvaluateAsInitializer()` explicitly here, so we don't abort the evaluation of the `DeflRefExpr` just because the initializer of that global variable failed.
show more ...
|
#
0171e56e |
| 17-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Fix rejecting invalid sizeof expressions (#123332)
Emit the invalid note instead of nothing.
|
#
7075eee6 |
| 17-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Add InitLinkScope for toplevel Expr temporary (#123319)
|
#
4cec0ba9 |
| 15-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode][NFC] Simplify VisitCXXDefaultArgExpr (#123024)
We have `discard()` these days.
|
#
d1d25641 |
| 15-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Handle UETT_PtrAuthTypeDiscriminator (#122941)
|
#
58fa55c0 |
| 14-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Add init link for the RVO ptr (#122904)
|
#
ac857f9b |
| 14-Jan-2025 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Change the way we do init chains (#122871)
See the comment in Compiler<>::VisitCXXThisExpr. We need to mark the InitList explicitly, so we later know what to refer to when the init
[clang][bytecode] Change the way we do init chains (#122871)
See the comment in Compiler<>::VisitCXXThisExpr. We need to mark the InitList explicitly, so we later know what to refer to when the init chain is active.
show more ...
|
Revision tags: llvmorg-19.1.7 |
|
#
e86b68ff |
| 28-Dec-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Add support for typeid pointers (#121251)
Add it as another kind of pointer, saving both a `Type*` for the result of the typeid() expression as well as one for the type of the type
[clang][bytecode] Add support for typeid pointers (#121251)
Add it as another kind of pointer, saving both a `Type*` for the result of the typeid() expression as well as one for the type of the typeid expression.
show more ...
|
#
acb7dfaa |
| 22-Dec-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Create local scopes for if then/else statements (#120852)
In case those aren't compound statements.
|
#
56fd46ed |
| 17-Dec-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Remove a bitcast nullptr_t special case (#120188)
We still need to check the input pointer, so let this go through BitCastPrim.
|
Revision tags: llvmorg-19.1.6 |
|
#
2f9cd43a |
| 06-Dec-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Check primitive bit casts for indeterminate bits (#118954)
Record bits ranges of initialized bits and check them in allInitialized().
|
#
44be7946 |
| 05-Dec-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Not all null pointers are 0 (#118601)
Get the Value from the ASTContext instead.
|
#
7802fb5f |
| 03-Dec-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Fix `__extension__` handling for vector operators (#118482)
Don't reject them, but delegate to the subexpression.
|
#
ff0babc9 |
| 03-Dec-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Fix discarded pointer subtractions (#118477)
We need to pop the value.
|
Revision tags: llvmorg-19.1.5 |
|
#
541d5d91 |
| 02-Dec-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode][NFC] Reject invalid FromTypes in emitBuiltinBitcast (#118274)
instead of silently accepting them and failing later.
|
#
dd0d9561 |
| 02-Dec-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Support vector-to-vector bitcasts (#118230)
|
#
6f16a8bf |
| 25-Nov-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Use bitcasts to cast from integer to vector (#117547)
In C, a cast from an integer to a vector is a CK_BitCast. Implement this using the same code we use for __builtin_bit_cast.
|
#
ceaf6e91 |
| 25-Nov-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Support ImplicitValueInitExpr for multi-dim arrays (#117312)
The attached test case from https://github.com/llvm/llvm-project/issues/117294 used to cause an assertion because we ca
[clang][bytecode] Support ImplicitValueInitExpr for multi-dim arrays (#117312)
The attached test case from https://github.com/llvm/llvm-project/issues/117294 used to cause an assertion because we called classifPrim() on an array type.
The new result doesn't crash but isn't exactly perfect either. Since the problem arises when evaluating an ImplicitValueInitExpr, we have no proper source location to point to. Point to the caller instead.
show more ...
|
#
63d9ef5e |
| 24-Nov-2024 |
Kazu Hirata <kazu@google.com> |
[AST] Migrate away from PointerUnion::{is,get} (NFC) (#117469)
Note that PointerUnion::{is,get} have been soft deprecated in
PointerUnion.h:
// FIXME: Replace the uses of is(), get() and dyn_c
[AST] Migrate away from PointerUnion::{is,get} (NFC) (#117469)
Note that PointerUnion::{is,get} have been soft deprecated in
PointerUnion.h:
// FIXME: Replace the uses of is(), get() and dyn_cast() with
// isa<T>, cast<T> and the llvm::dyn_cast<T>
I'm not touching PointerUnion::dyn_cast for now because it's a bit
complicated; we could blindly migrate it to dyn_cast_if_present, but
we should probably use dyn_cast when the operand is known to be
non-null.
show more ...
|
Revision tags: llvmorg-19.1.4 |
|
#
5f84b332 |
| 05-Nov-2024 |
Timm Baeder <tbaeder@redhat.com> |
[clang][bytecode] Fix discarding __builtin_bit_cast calls (#114926)
Optionally prepare storage for the result and do the bitcast anyway, to
get the right diagnostic output.
|