commit
7fc182caff
@ -1 +1 @@
|
||||
d8f50ab0ea6c529c24e575279acc72093caeb679
|
||||
374c63e0fc356eb61b1966cb6026a2a49fe9226d
|
||||
|
@ -43,7 +43,7 @@ fn after_analysis(&mut self, compiler: &interface::Compiler) -> bool {
|
||||
compiler.session().abort_if_errors();
|
||||
compiler.global_ctxt().unwrap().peek_mut().enter(|tcx| {
|
||||
if std::env::args().any(|arg| arg == "--test") {
|
||||
struct Visitor<'tcx>(TyCtxt<'tcx, 'tcx>);
|
||||
struct Visitor<'tcx>(TyCtxt<'tcx>);
|
||||
impl<'tcx, 'hir> itemlikevisit::ItemLikeVisitor<'hir> for Visitor<'tcx> {
|
||||
fn visit_item(&mut self, i: &'hir hir::Item) {
|
||||
if let hir::ItemKind::Fn(.., body_id) = i.node {
|
||||
|
@ -72,7 +72,7 @@ pub struct MiriConfig {
|
||||
|
||||
// Used by priroda.
|
||||
pub fn create_ecx<'mir, 'tcx: 'mir>(
|
||||
tcx: TyCtxt<'tcx, 'tcx>,
|
||||
tcx: TyCtxt<'tcx>,
|
||||
main_id: DefId,
|
||||
config: MiriConfig,
|
||||
) -> InterpResult<'tcx, InterpretCx<'mir, 'tcx, Evaluator<'tcx>>> {
|
||||
@ -212,7 +212,7 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
|
||||
}
|
||||
|
||||
pub fn eval_main<'tcx>(
|
||||
tcx: TyCtxt<'tcx, 'tcx>,
|
||||
tcx: TyCtxt<'tcx>,
|
||||
main_id: DefId,
|
||||
config: MiriConfig,
|
||||
) {
|
||||
@ -475,7 +475,7 @@ fn box_alloc(
|
||||
|
||||
fn find_foreign_static(
|
||||
def_id: DefId,
|
||||
tcx: TyCtxtAt<'tcx, 'tcx>,
|
||||
tcx: TyCtxtAt<'tcx>,
|
||||
) -> InterpResult<'tcx, Cow<'tcx, Allocation>> {
|
||||
let attrs = tcx.get_attrs(def_id);
|
||||
let link_name = match attr::first_attr_value_str_by_name(&attrs, sym::link_name) {
|
||||
|
Loading…
Reference in New Issue
Block a user