Update nightly toolchain to toolchain-2023-12-15

model-checking · Dec 15, 2023 · 7aa9275 · 7aa9275
1 parent 036eb88
commit 7aa9275
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs
@@ -299,6 +299,20 @@ impl<'tcx> GotocCtx<'tcx> {
                         &self.symbol_table,
                     )
                 }
+                // TODO: Improve this check after we upgrade nightly to 2023-12-18.
+                TyKind::RigidTy(RigidTy::Adt(def, _)) if def.name().ends_with("::CStr") => {
+                    // TODO: Handle CString
+                    // <https://github.com/model-checking/kani/issues/2549>
+                    let loc = self.codegen_span_option_stable(span);
+                    let typ = self.codegen_ty_stable(ty);
+                    let operation_name = "C string literal";
+                    self.codegen_unimplemented_expr(
+                        &operation_name,
+                        typ,
+                        loc,
+                        "https://github.com/model-checking/kani/issues/2549",
+                    )
+                }
                 _ => unreachable!("{inner_ty:?}"),
             }
         } else if !alloc.provenance.ptrs.is_empty() {

diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2023-12-14"
+channel = "nightly-2023-12-15"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]