Skip to content

Commit 4f75199

Browse files
celinvaltautschnig
andauthored
Revert #3539 and reuse rust backend infrastructure instead (#3545)
Replace the body by a call to link_binary as other backend implementations do, e.g. [rustc_codegen_gcc](https://github.com/rust-lang/rust/blob/648d024a7859e1ab7fdffe5e419b6e35ccb16a4a/compiler/rustc_codegen_gcc/src/lib.rs#L269-L271). Also remove the implementation of `metadata_loader` which has a [default body](https://github.com/rust-lang/rust/blob/11e760b7f4e4aaa11bf51a64d4bb7f1171f6e466/compiler/rustc_codegen_ssa/src/traits/backend.rs#L58-L60). By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --------- Co-authored-by: Michael Tautschnig <tautschn@amazon.com>
1 parent 9dc09e7 commit 4f75199

File tree

3 files changed

+13
-345
lines changed

3 files changed

+13
-345
lines changed

Cargo.lock

Lines changed: 0 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -248,15 +248,6 @@ dependencies = [
248248
"tracing",
249249
]
250250

251-
[[package]]
252-
name = "crc32fast"
253-
version = "1.4.2"
254-
source = "registry+https://github.com/rust-lang/crates.io-index"
255-
checksum = "a97769d94ddab943e4510d138150169a2758b5ef3eb191a9ee688de3e23ef7b3"
256-
dependencies = [
257-
"cfg-if",
258-
]
259-
260251
[[package]]
261252
name = "crossbeam-deque"
262253
version = "0.8.5"
@@ -485,7 +476,6 @@ dependencies = [
485476
"kani_metadata",
486477
"lazy_static",
487478
"num",
488-
"object",
489479
"quote",
490480
"regex",
491481
"serde",
@@ -728,19 +718,6 @@ dependencies = [
728718
"autocfg",
729719
]
730720

731-
[[package]]
732-
name = "object"
733-
version = "0.36.4"
734-
source = "registry+https://github.com/rust-lang/crates.io-index"
735-
checksum = "084f1a5821ac4c651660a94a7153d27ac9d8a53736203f58b31945ded098070a"
736-
dependencies = [
737-
"crc32fast",
738-
"hashbrown",
739-
"indexmap",
740-
"memchr",
741-
"wasmparser",
742-
]
743-
744721
[[package]]
745722
name = "once_cell"
746723
version = "1.19.0"
@@ -1427,15 +1404,6 @@ version = "0.11.0+wasi-snapshot-preview1"
14271404
source = "registry+https://github.com/rust-lang/crates.io-index"
14281405
checksum = "9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423"
14291406

1430-
[[package]]
1431-
name = "wasmparser"
1432-
version = "0.216.0"
1433-
source = "registry+https://github.com/rust-lang/crates.io-index"
1434-
checksum = "bcdee6bea3619d311fb4b299721e89a986c3470f804b6d534340e412589028e3"
1435-
dependencies = [
1436-
"bitflags",
1437-
]
1438-
14391407
[[package]]
14401408
name = "which"
14411409
version = "6.0.3"

kani-compiler/Cargo.toml

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -28,11 +28,6 @@ tracing = {version = "0.1", features = ["max_level_trace", "release_max_level_de
2828
tracing-subscriber = {version = "0.3.8", features = ["env-filter", "json", "fmt"]}
2929
tracing-tree = "0.4.0"
3030

31-
[dependencies.object]
32-
version = "0.36.2"
33-
default-features = false
34-
features = ["elf", "macho", "pe", "xcoff", "write", "wasm"]
35-
3631
# Future proofing: enable backend dependencies using feature.
3732
[features]
3833
default = ['cprover']

0 commit comments

Comments
 (0)