diff --git a/infer/tests/codetoanalyze/kotlin/pulse/taint/Basics.kt b/infer/tests/codetoanalyze/kotlin/pulse/taint/Basics.kt
index 8f87f7fc728..900bddf4559 100644
--- a/infer/tests/codetoanalyze/kotlin/pulse/taint/Basics.kt
+++ b/infer/tests/codetoanalyze/kotlin/pulse/taint/Basics.kt
@@ -209,4 +209,12 @@ class Basics {
     InferTaint.inferSensitiveSink(
         InferTaint.inferUniversalSanitizer(InferTaint.inferSecretSource()))
   }
+
+  fun taintOnUnrelatedBooleanOk(notTaintedFlag: Boolean) {
+    val taintedFlag = InferTaint.inferSecretSource() as Boolean
+    val uberFlag = notTaintedFlag || taintedFlag
+    if (!uberFlag) {
+      InferTaint.inferSensitiveSink(notTaintedFlag)
+    }
+  }
 }