Add reaching definitions tests

Author: ecstatic-morse

src/test/ui/mir-dataflow/reaching-defs-1.rs

@@ -0,0 +1,36 @@
+// General test of reaching_defs state computed by MIR dataflow.
+
+#![feature(core_intrinsics, rustc_attrs)]
+use std::intrinsics::rustc_peek;
+
+#[rustc_mir(rustc_peek_use_def_chain, stop_after_dataflow, borrowck_graphviz_postflow="flow.dot")]
+fn foo(test: bool) -> (i32, i32) {
+    // Splitting declarations and assignment gives us nicer spans
+    let mut x;
+    let mut y;
+
+    x=0;
+    y=1;
+
+    if test {
+        x=2;
+        unsafe { rustc_peek(&x); }
+        //~^ ERROR rustc_peek: [16: "x=2"]
+    } else {
+        x=3;
+        y=4;
+    }
+
+    unsafe { rustc_peek(&x); }
+    //~^ ERROR rustc_peek: [16: "x=2", 17: "rustc_peek(&x)", 20: "x=3"]
+
+    unsafe { rustc_peek(&y); }
+    //~^ ERROR rustc_peek: [13: "y=1", 21: "y=4"]
+
+    (x, y)
+}
+
+fn main() {
+    foo(true);
+    foo(false);
+}

src/test/ui/mir-dataflow/reaching-defs-1.stderr

@@ -0,0 +1,22 @@
+error: rustc_peek: [16: "x=2"]
+  --> $DIR/reaching-defs-1.rs:17:18
+   |
+LL |         unsafe { rustc_peek(&x); }
+   |                  ^^^^^^^^^^^^^^
+
+error: rustc_peek: [16: "x=2", 17: "rustc_peek(&x)", 20: "x=3"]
+  --> $DIR/reaching-defs-1.rs:24:14
+   |
+LL |     unsafe { rustc_peek(&x); }
+   |              ^^^^^^^^^^^^^^
+
+error: rustc_peek: [13: "y=1", 21: "y=4"]
+  --> $DIR/reaching-defs-1.rs:27:14
+   |
+LL |     unsafe { rustc_peek(&y); }
+   |              ^^^^^^^^^^^^^^
+
+error: stop_after_dataflow ended compilation
+
+error: aborting due to 4 previous errors
+

src/test/ui/mir-dataflow/reaching-defs-2.rs

@@ -0,0 +1,15 @@
+#![feature(core_intrinsics, rustc_attrs)]
+use std::intrinsics::rustc_peek;
+
+#[rustc_mir(rustc_peek_use_def_chain, stop_after_dataflow, borrowck_graphviz_postflow="flow.dot")]
+fn main() {
+    let mut x;
+    x=0;
+
+    while x != 10 {
+        x+=1;
+    }
+
+    unsafe { rustc_peek(x); }
+    //~^ ERROR rustc_peek: [7: "x=0", 10: "x+=1"]
+}

src/test/ui/mir-dataflow/reaching-defs-2.stderr

@@ -0,0 +1,10 @@
+error: rustc_peek: [7: "x=0", 10: "x+=1"]
+  --> $DIR/reaching-defs-2.rs:13:14
+   |
+LL |     unsafe { rustc_peek(x); }
+   |              ^^^^^^^^^^^^^
+
+error: stop_after_dataflow ended compilation
+
+error: aborting due to 2 previous errors
+

src/test/ui/mir-dataflow/reaching-defs-arg.rs

@@ -0,0 +1,19 @@
+#![feature(core_intrinsics, rustc_attrs)]
+use std::intrinsics::rustc_peek;
+
+#[rustc_mir(rustc_peek_use_def_chain, stop_after_dataflow, borrowck_graphviz_postflow="flow.dot")]
+fn foo(test: bool, mut x: i32) -> i32 {
+    if test {
+        x=42;
+    }
+
+    unsafe { rustc_peek(&x); }
+    //~^ ERROR rustc_peek: [5: "mut x", 7: "x=42"]
+
+    x
+}
+
+fn main() {
+    foo(true, 32);
+    foo(false, 56);
+}

src/test/ui/mir-dataflow/reaching-defs-arg.stderr

@@ -0,0 +1,10 @@
+error: rustc_peek: [5: "mut x", 7: "x=42"]
+  --> $DIR/reaching-defs-arg.rs:10:14
+   |
+LL |     unsafe { rustc_peek(&x); }
+   |              ^^^^^^^^^^^^^^
+
+error: stop_after_dataflow ended compilation
+
+error: aborting due to 2 previous errors
+

src/test/ui/mir-dataflow/reaching-defs-indirect-1.rs

@@ -0,0 +1,33 @@
+#![feature(core_intrinsics, rustc_attrs)]
+use std::intrinsics::rustc_peek;
+
+#[rustc_mir(rustc_peek_use_def_chain, stop_after_dataflow, borrowck_graphviz_postflow="flow.dot")]
+fn foo(test: bool) -> (i32, i32) {
+    let mut x;
+    let mut y;
+    let mut p;
+
+    x=0;
+    y=1;
+
+    unsafe { rustc_peek(x); }
+    //~^ ERROR rustc_peek: [10: "x=0"]
+
+    if test {
+        p = &mut x;
+    } else {
+        p = &mut y;
+    }
+
+    *p=2;
+
+    unsafe { rustc_peek(x); }
+    //~^ ERROR rustc_peek: [10: "x=0", 22: "*p=2"]
+
+    (x, y)
+}
+
+fn main() {
+    foo(true);
+    foo(false);
+}

src/test/ui/mir-dataflow/reaching-defs-indirect-1.stderr

@@ -0,0 +1,16 @@
+error: rustc_peek: [10: "x=0"]
+  --> $DIR/reaching-defs-indirect-1.rs:13:14
+   |
+LL |     unsafe { rustc_peek(x); }
+   |              ^^^^^^^^^^^^^
+
+error: rustc_peek: [10: "x=0", 22: "*p=2"]
+  --> $DIR/reaching-defs-indirect-1.rs:24:14
+   |
+LL |     unsafe { rustc_peek(x); }
+   |              ^^^^^^^^^^^^^
+
+error: stop_after_dataflow ended compilation
+
+error: aborting due to 3 previous errors
+