[clang] [clang][dataflow] Handle more glvalue cases of the ConditionalOperator transfer (PR #168994)

Jan Voung via cfe-commits cfe-commits at lists.llvm.org
Mon Nov 24 19:15:29 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
----------------
jvoung wrote:

Rephrased a bit.



https://github.com/llvm/llvm-project/pull/168994


More information about the cfe-commits mailing list