Skip to content

Commit

Permalink
[clang][dataflow][NFC] Add a FIXME to handling of union initializatio…
Browse files Browse the repository at this point in the history
…n. (#82239)

We want to make it clear that the current behavior doesn't yet handle
unions
properly.
  • Loading branch information
martinboehme committed Feb 20, 2024
1 parent 96e5657 commit 5911334
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions clang/lib/Analysis/FlowSensitive/Transfer.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -664,6 +664,7 @@ class TransferVisitor : public ConstStmtVisitor<TransferVisitor> {
QualType Type = S->getType();

if (Type->isUnionType()) {
// FIXME: Initialize unions properly.
if (auto *Val = Env.createValue(Type))
Env.setValue(*S, *Val);
return;
Expand Down

0 comments on commit 5911334

Please sign in to comment.