[clang] [clang][dataflow] Handle more glvalue cases of the ConditionalOperator transfer (PR #168994)
Yitzhak Mandelbaum via cfe-commits
cfe-commits at lists.llvm.org
Fri Nov 21 08:46:52 PST 2025
================
@@ -6177,6 +6212,102 @@ TEST(TransferTest, ConditionalOperatorLocation) {
});
}
+TEST(TransferTest, ConditionalOperatorValuesTested) {
+ // Even though the LHS and the RHS of the conditional operator have different
+ // StorageLocations, we get constraints from the condition that the values
----------------
ymand wrote:
I don't follow this text. Could you rephrase?
https://github.com/llvm/llvm-project/pull/168994
More information about the cfe-commits
mailing list