false positive

maybe we need to modify liveness analysis

Author: lengyijun

tests/ui/explicit_reinitialization.fixed

@@ -96,4 +96,17 @@ fn known_false_negative() {
     println!("{x}");
 }
 
+fn false_positive() {
+    let mut x = 1;
+    println!("{x}");
+
+    if true {
+        x = 2;
+        println!("{x}");
+    } else {
+        x = 3;
+        println!("{x}");
+    }
+}
+
 fn main() {}

tests/ui/explicit_reinitialization.rs

@@ -96,4 +96,17 @@ fn known_false_negative() {
     println!("{x}");
 }
 
+fn false_positive() {
+    let mut x = 1;
+    println!("{x}");
+
+    if true {
+        x = 2;
+        println!("{x}");
+    } else {
+        x = 3;
+        println!("{x}");
+    }
+}
+
 fn main() {}