Skip to content

Rustup #368

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 46 commits into from
May 9, 2018
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
46 commits
Select commit Hold shift + click to select a range
2671cf3
Update to some cleanups in rustc
oli-obk Dec 15, 2017
a23e587
stop using Instance::def_ty
arielb1 Dec 17, 2017
5147655
Merge branch 'master' into def_ty
oli-obk Dec 19, 2017
30496f5
update compiletest dependency
dwrensha Dec 31, 2017
03aa876
pass typecheck
dwrensha Jan 2, 2018
cabdc55
update log deps
dwrensha Jan 6, 2018
33af320
update for rust/47205
dwrensha Jan 15, 2018
d289c0f
partially deal with rust/46479
dwrensha Jan 15, 2018
753da67
Rustup
bjorn3 Jan 14, 2018
a3a01ba
Add stack guard shim
bjorn3 Mar 17, 2018
cd89e56
Get the tests one step further
oli-obk Mar 18, 2018
6a85104
Use elem align as src align in copy intrinsic
bjorn3 Mar 19, 2018
680bcf8
Hack: copy init_static from rustc CompileTimeEvaluator to try to fix …
bjorn3 Mar 19, 2018
878d666
Maybe prevent marking statics as immutable
bjorn3 Mar 19, 2018
f55d077
Fix init_static
bjorn3 Mar 23, 2018
ac42af3
travis: cache build dir
bjorn3 Mar 23, 2018
a6cdd8a
Fix it
bjorn3 Mar 23, 2018
e09a996
Fix some more tests with some unsafe code
bjorn3 Apr 4, 2018
73658c4
Remove unsafe code
bjorn3 Apr 7, 2018
7bd20f1
Some cleanups
bjorn3 Apr 7, 2018
9d186d9
Update Cargo.lock and some improvements
bjorn3 Apr 7, 2018
95a8771
Fixup various things needed to get miri working on rustc
oli-obk Apr 13, 2018
d4f30aa
Fix alignment issue
bjorn3 Mar 18, 2018
4ecbcc5
Dont claim to have marked static initialized
bjorn3 Mar 19, 2018
3f1b2bd
Mirror function rename in rustc
oli-obk Apr 13, 2018
f48fed7
Rustup
oli-obk Apr 17, 2018
ba1c88a
Rustup to rustc 1.27.0-nightly (79252ff4e 2018-04-29)
bjorn3 May 1, 2018
ee2a3a1
Merge pull request #367 from bjorn3/rustup2
oli-obk May 1, 2018
3dba298
Fixed build for latest nightly
alexreg May 1, 2018
76573ba
Merge pull request #370 from alexreg/nightly-fix
oli-obk May 1, 2018
9156953
Minor fix to get build working
alexreg May 3, 2018
3d8c7a8
Fixed build for latest nightly
alexreg May 3, 2018
b0d3dae
Rustup
oli-obk May 7, 2018
6bc35f7
Fix allocator api and temporarily disable validation_op
bjorn3 May 7, 2018
42ab135
Merge branch 'rustup' into alloc_fix
oli-obk May 7, 2018
860e2b8
Dedup tag reading
oli-obk May 7, 2018
0eb3c18
Use a deterministic method for executing the start lang item
oli-obk May 7, 2018
7c45bfc
Merge branch 'rustup' into nightly-fix
oli-obk May 7, 2018
696dda8
Merge pull request #372 from alexreg/nightly-fix
oli-obk May 7, 2018
3ffc237
Merge pull request #373 from bjorn3/alloc_fix
oli-obk May 7, 2018
0a88698
Hide some warnings/Fix build
oli-obk May 7, 2018
6653bb3
Implement missing intrinsic
oli-obk May 7, 2018
e0e1bd7
Pointers must be valid, even pointers to zsts
oli-obk May 7, 2018
ce7605c
Fix some bad conversions on 32 bit emulation
oli-obk May 9, 2018
a4fdcd2
Disable cargo miri test for now
oli-obk May 9, 2018
c05d570
Update the rustc_tests crate
oli-obk May 9, 2018
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion miri/bin/miri.rs
Original file line number Diff line number Diff line change
Expand Up @@ -111,7 +111,7 @@ fn after_analysis<'a, 'tcx>(state: &mut CompileState<'a, 'tcx>) {
fn visit_item(&mut self, i: &'hir hir::Item) {
if let hir::Item_::ItemFn(_, _, _, _, _, body_id) = i.node {
if i.attrs.iter().any(|attr| {
attr.name().map_or(false, |n| n == "test")
attr.name() == "test"
})
{
let did = self.0.hir.body_owner_def_id(body_id);
Expand Down
1 change: 0 additions & 1 deletion miri/fn_call.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@ use rustc::hir::def_id::{DefId, CRATE_DEF_INDEX};
use rustc::mir;
use rustc_target::spec::abi::Abi;
use rustc_data_structures::indexed_vec::Idx;
use rustc_target::spec::abi::Abi;
use syntax::attr;
use syntax::codemap::Span;

Expand Down
1 change: 0 additions & 1 deletion miri/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@ extern crate rustc;
extern crate rustc_mir;
extern crate rustc_target;
extern crate rustc_data_structures;
extern crate rustc_target;
extern crate syntax;
extern crate regex;
#[macro_use]
Expand Down
5 changes: 4 additions & 1 deletion miri/validation.rs
Original file line number Diff line number Diff line change
Expand Up @@ -455,7 +455,10 @@ impl<'a, 'mir, 'tcx: 'mir + 'a> EvalContextExt<'tcx> for EvalContext<'a, 'mir, '
}

// Discriminant field for enums (where applicable).
Variants::Tagged { ref discr, .. } |
Variants::Tagged { ref tag, .. } => {
assert_eq!(i, 0);
return Ok(tag.value.to_ty(tcx))
},
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This shouldn't be duplicated, just write tag: ref discr like the NicheFilling case does with niche.

Variants::NicheFilling { niche: ref discr, .. } => {
assert_eq!(i, 0);
return Ok(discr.value.to_ty(tcx))
Expand Down