================
@@ -3859,6 +3859,33 @@ TEST(TransferTest, StaticCastBaseToDerivedUnknown) {
});
}
+TEST(TransferTest, StaticCastBaseToDerivedWithSyntheticFieldsNoModeledFields) {
+ std::string Code = R"cc(
+ struct Base {};
+ struct Derived : public Base {};
+ void target(Base* BPtr) {
+ Derived* DPtr = static_cast<Derived*>(BPtr);
+ (void)DPtr;
+ // [[p]]
+ }
+ )cc";
+ ASSERT_THAT_ERROR(
+ checkDataflowWithNoopAnalysis(
+ Code, ast_matchers::hasName("target"),
+ [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>>
&Results,
+ ASTContext &ASTCtx) {
+ ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
----------------
ymand wrote:
Sorry, submitted too quickly. I'll follow up with another PR.
I think a comment is enough. We could get the RecordStorageLocation and verify
that it contains exactly the expected synthetic field, but I think that's more
than is necessary. We're not verifying other aspects of cast internals. WDYT?
https://github.com/llvm/llvm-project/pull/208726
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
