[PATCH] D122129: [clang][dataflow] Model the behavior of optional and std swap

This revision was automatically updated to reflect the committed changes. Closed by commit rG2ddd57ae1ec4: [clang][dataflow] Model the behavior of optional and std swap (authored by sgatev). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D122129/new/

[PATCH] D122129: [clang][dataflow] Model the behavior of optional and std swap

sgatev updated this revision to Diff 416953. sgatev added a comment. Address comments. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D122129/new/ https://reviews.llvm.org/D122129 Files: clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAcc

[PATCH] D122129: [clang][dataflow] Model the behavior of optional and std swap

ymandel accepted this revision. ymandel added inline comments. This revision is now accepted and ready to land. Comment at: clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp:1961 + )", + UnorderedElementsAre(Pair("check-1", "safe"), +

[PATCH] D122129: [clang][dataflow] Model the behavior of optional and std swap

sgatev created this revision. sgatev added reviewers: ymandel, xazax.hun, gribozavr2. Herald added subscribers: tschuett, steakhal, rnkovacs. Herald added a project: All. sgatev requested review of this revision. Herald added a project: clang. Repository: rG LLVM Github Monorepo https://reviews