[PATCH] D140696: [clang][dataflow] Treat unions as structs.
Yitzhak Mandelbaum via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Dec 27 08:47:13 PST 2022
ymandel added inline comments.
================
Comment at: clang/unittests/Analysis/FlowSensitive/TransferTest.cpp:1551-1552
+ const Value *FooVal = Env.getValue(*FooLoc);
+ // TODO: Initialise values inside unions, then change below to
+ // ASSERT_TRUE.
+ ASSERT_FALSE(isa_and_nonnull<IntegerValue>(FooVal));
----------------
Why push this off to another patch?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D140696/new/
https://reviews.llvm.org/D140696
More information about the cfe-commits
mailing list