[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