Nightly-2023-09-10

checker/src/abstract_value.rs

@@ -2104,6 +2104,14 @@ impl AbstractValueTrait for Rc<AbstractValue> {
             return self.and(consequent);
         }
         if let Expression::Or { left: x, right: y } = &self.expression {
+            if alternate.as_bool_if_known().unwrap_or_default() {
+                if let Expression::LogicalNot { operand: x1 } = &x.expression {
+                    if y.eq(&consequent) {
+                        // [if (!x1 || y) { y } else { true } -> x1 || y
+                        return x1.or(y.clone());
+                    }
+                }
+            }
             match &consequent.expression {
                 Expression::LogicalNot { operand } if x.eq(operand) => {
                     // [if x || y { !x } else { z }] -> [!x && y || !x && z] -> !x && (y || z)

checker/tests/call_graph/fnptr_fold.rs

@@ -68,10 +68,10 @@ commit;
 /* EXPECTED:CALL_SITES{
   "files": [
     "tests/call_graph/fnptr_fold.rs",
-    "/rustc/69e97df5ce571a777acd654ec3697ae8d25962ea/library/std/src/io/stdio.rs",
-    "/rustc/69e97df5ce571a777acd654ec3697ae8d25962ea/library/core/src/fmt/mod.rs",
-    "/rustc/69e97df5ce571a777acd654ec3697ae8d25962ea/library/core/src/slice/mod.rs",
-    "/rustc/69e97df5ce571a777acd654ec3697ae8d25962ea/library/core/src/ptr/metadata.rs"
+    "/rustc/8ed4537d7c238eb77509d82445cf1cb861a3b5ff/library/std/src/io/stdio.rs",
+    "/rustc/8ed4537d7c238eb77509d82445cf1cb861a3b5ff/library/core/src/fmt/mod.rs",
+    "/rustc/8ed4537d7c238eb77509d82445cf1cb861a3b5ff/library/core/src/slice/mod.rs",
+    "/rustc/8ed4537d7c238eb77509d82445cf1cb861a3b5ff/library/core/src/ptr/metadata.rs"
   ],
   "callables": [
     {

checker/tests/call_graph/static_fold.rs

@@ -64,10 +64,10 @@ commit;
 /* EXPECTED:CALL_SITES{
   "files": [
     "tests/call_graph/static_fold.rs",
-    "/rustc/69e97df5ce571a777acd654ec3697ae8d25962ea/library/std/src/io/stdio.rs",
-    "/rustc/69e97df5ce571a777acd654ec3697ae8d25962ea/library/core/src/fmt/mod.rs",
-    "/rustc/69e97df5ce571a777acd654ec3697ae8d25962ea/library/core/src/slice/mod.rs",
-    "/rustc/69e97df5ce571a777acd654ec3697ae8d25962ea/library/core/src/ptr/metadata.rs"
+    "/rustc/8ed4537d7c238eb77509d82445cf1cb861a3b5ff/library/std/src/io/stdio.rs",
+    "/rustc/8ed4537d7c238eb77509d82445cf1cb861a3b5ff/library/core/src/fmt/mod.rs",
+    "/rustc/8ed4537d7c238eb77509d82445cf1cb861a3b5ff/library/core/src/slice/mod.rs",
+    "/rustc/8ed4537d7c238eb77509d82445cf1cb861a3b5ff/library/core/src/ptr/metadata.rs"
   ],
   "callables": [
     {

checker/tests/run-pass/read_to_end.rs

@@ -13,9 +13,12 @@ use std::io::{Cursor, Read, Result};
 pub fn t1(buf: &[u8]) -> Result<()> {
     let mut reader = Cursor::new(buf);
     let mut v = Vec::with_capacity(1);
-    reader.read_to_end(&mut v)?;
     // todo: fix this
-    //verify!(v.len() == 0); // ~ possible false verification condition
+    reader.read_to_end(&mut v)?; //~ slice index starts at after slice end
+                                 //~ related location
+                                 //~ related location
+                                 // todo: fix this
+                                 //verify!(v.len() == 0); // ~ possible false verification condition
     Ok(())
 }
 

rust-toolchain.toml

@@ -1,3 +1,3 @@
 [toolchain]
-channel = "nightly-2023-08-27"
+channel = "nightly-2023-09-10"
 components = [ "clippy", "rustfmt", "rustc-dev", "rust-src", "rust-std", "llvm-tools-preview" ]