Author: martinboehme Date: 2024-02-20T08:05:47+01:00 New Revision: 5911334650a77b9f06009ab906ab778e6ccd90c8
URL: https://github.com/llvm/llvm-project/commit/5911334650a77b9f06009ab906ab778e6ccd90c8 DIFF: https://github.com/llvm/llvm-project/commit/5911334650a77b9f06009ab906ab778e6ccd90c8.diff LOG: [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. Added: Modified: clang/lib/Analysis/FlowSensitive/Transfer.cpp Removed: ################################################################################ diff --git a/clang/lib/Analysis/FlowSensitive/Transfer.cpp b/clang/lib/Analysis/FlowSensitive/Transfer.cpp index 513f22d8aa0f9c..fe13e919bddcd8 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; _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits