Skip to content

Commit 471ae43

Browse files
committed
fix: analyze fn
1 parent 8b8d490 commit 471ae43

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

src/functions/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ use stable_mir::{
1313
mod callees;
1414
mod kani;
1515

16-
pub fn analyze(tcx: TyCtxt, src_map: &SourceMap) -> crate::Result<Vec<Function>> {
16+
pub fn analyze(tcx: TyCtxt, src_map: &SourceMap) -> Vec<Function> {
1717
let local_items = stable_mir::all_local_items();
1818
let cap = local_items.len();
1919

@@ -29,7 +29,7 @@ pub fn analyze(tcx: TyCtxt, src_map: &SourceMap) -> crate::Result<Vec<Function>>
2929

3030
let (mono_items, callgraph) = collect_reachable_items(tcx, &entries);
3131

32-
Ok(outputs)
32+
outputs
3333
}
3434

3535
/// A Rust funtion with its file source, attributes, and raw function content.

src/main.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ extern crate rustc_smir;
88
extern crate rustc_span;
99
extern crate stable_mir;
1010

11-
use eyre::{Context, Ok, Result};
11+
use eyre::{Context, Ok};
1212
use functions::analyze;
1313
use rustc_driver::{Compilation, run_compiler};
1414

@@ -60,7 +60,7 @@ impl rustc_driver::Callbacks for Callback {
6060
) -> Compilation {
6161
let src_map = rustc_span::source_map::get_source_map().expect("No source map.");
6262

63-
let output = rustc_smir::rustc_internal::run(tcx, || analyze(tcx, &src_map, &mut output))
63+
let output = rustc_smir::rustc_internal::run(tcx, || analyze(tcx, &src_map))
6464
.expect("Failed to run rustc_smir.");
6565

6666
let res = || match &self.json {

0 commit comments

Comments
 (0)