From 5911334650a77b9f06009ab906ab778e6ccd90c8 Mon Sep 17 00:00:00 2001
From: martinboehme <mboehme@google.com>
Date: Tue, 20 Feb 2024 08:05:47 +0100
Subject: [PATCH] [clang][dataflow][NFC] Add a FIXME to handling of union
 initialization. (#82239)

We want to make it clear that the current behavior doesn't yet handle
unions
properly.
---
 clang/lib/Analysis/FlowSensitive/Transfer.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/clang/lib/Analysis/FlowSensitive/Transfer.cpp b/clang/lib/Analysis/FlowSensitive/Transfer.cpp
index 513f22d8aa0f9..fe13e919bddcd 100644
--- a/clang/lib/Analysis/FlowSensitive/Transfer.cpp
+++ b/clang/lib/Analysis/FlowSensitive/Transfer.cpp
@@ -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;