Ralf Jung
10102d1f0a
comment nit
...
Co-Authored-By: oli-obk <github35764891676564198441@oli-obk.de>
2018-11-24 11:36:32 +01:00
Oliver Scherer
9b8e82ad24
Use correct alignment checks for scalars and zsts, too
2018-11-24 11:36:32 +01:00
Oliver Scherer
927c5aab47
Use correct alignment for fat pointer extra part
2018-11-24 11:36:32 +01:00
Oliver Scherer
9d57adf2ba
Explain {read,write}_scalar failure to cope with zsts
2018-11-24 11:36:32 +01:00
Oliver Scherer
8b04b09869
Move alignment checks out of Allocation
2018-11-24 11:36:32 +01:00
Oliver Scherer
1c08ced995
Explain early abort legality
2018-11-24 11:36:32 +01:00
Oliver Scherer
d3139b9c41
Rebase fallout
2018-11-24 11:36:32 +01:00
Oliver Scherer
b820cc79a9
Clean up array/slice of primitive validation
2018-11-24 11:36:32 +01:00
Oliver Scherer
65b702c6b1
Update miri submodule
2018-11-24 11:36:32 +01:00
Oliver Scherer
87bd5d13d8
Remove stderr file, because the test passes now
2018-11-24 11:36:32 +01:00
Oliver Scherer
ef332959dc
Reintroduce zst-slice reading read_bytes method on Memory
2018-11-24 11:36:32 +01:00
Oliver Scherer
ebf03363f2
Properly test for int pointers in fat pointers to str slices of zero chars
2018-11-24 11:36:31 +01:00
Oliver Scherer
cc2f46e55a
Reorder methods in allocation.rs
2018-11-24 11:36:31 +01:00
Oliver Scherer
20dee47a66
Add regression test for integral pointers in zst str slice fat pointers
2018-11-24 11:36:31 +01:00
Oliver Scherer
df1ed0c2a6
Make a method that doesn't need Self a free function instead
2018-11-24 11:36:31 +01:00
Oliver Scherer
a835555474
Make zst accesses in allocations take the regular path.
...
Speeding up zst accesses should be done on a higher level.
2018-11-24 11:36:31 +01:00
Oliver Scherer
3a0e8254b0
Remove unnecessary Result (function always returned Ok)
2018-11-24 11:36:31 +01:00
Oliver Scherer
07e7804110
Adjust rustc_mir::interpret to changes in Allocation/Memory methods
2018-11-24 11:36:31 +01:00
Oliver Scherer
9ecde5712e
Move some byte and scalar accessors from Memory to Allocation
2018-11-24 11:36:31 +01:00
Oliver Scherer
ad11856431
Fiddle a HasDataLayout through the allocation methods
2018-11-24 11:36:31 +01:00
Oliver Scherer
04210f3e16
Access self instead of alloc
2018-11-24 11:36:31 +01:00
Oliver Scherer
c392fbbbf1
Adjust generics to Allocation parameters
2018-11-24 11:36:31 +01:00
Oliver Scherer
7c9d786e50
Move alignment and bounds check from Memory to Allocation
2018-11-24 11:36:31 +01:00
Oliver Scherer
d98c46ce57
Move undef mask methods from Memory to Allocation
2018-11-24 11:36:31 +01:00
Oliver Scherer
eb30ce8acb
Move relocation methods from Memory to Allocation
2018-11-24 11:36:31 +01:00
Oliver Scherer
d40a7713d3
Preliminary code adjustment to let the compiler complain about missing methods
2018-11-24 11:36:31 +01:00
Oliver Scherer
98cd2ad4ea
Move some methods from Memory to Allocation
2018-11-24 11:36:31 +01:00
scalexm
4478dced47
Fix NLL ui test
2018-11-24 01:24:40 +01:00
scalexm
c0f98e8390
Fix ChalkInferenceContext::into_hh_goal
2018-11-24 01:24:40 +01:00
scalexm
5b2baa8336
Implement some instantiate / canonical routines
2018-11-24 01:24:40 +01:00
scalexm
95861b1590
Move BoundTy debruijn index to the TyKind enum variant
2018-11-24 01:24:40 +01:00
scalexm
6bf17d249b
Instantiate all bound vars universally
2018-11-24 01:24:40 +01:00
scalexm
cdb96be11e
Handle placeholder types in canonicalization
2018-11-24 01:24:40 +01:00
scalexm
91623ca640
Add HAS_TY_PLACEHOLDER flag
2018-11-24 01:24:40 +01:00
scalexm
da3def3ebf
Rename some occurences of skol to placeholder
2018-11-24 01:24:40 +01:00
scalexm
05995a8522
Introduce TyKind::Placeholder variant
2018-11-24 01:24:40 +01:00
scalexm
7401e3def5
Distinguish between placeholder kinds
2018-11-24 01:24:40 +01:00
bors
4632cf2a2e
Auto merge of #55935 - alexcrichton:vs2017, r=Mark-Simulacrum
...
appveyor: Use VS2017 for all our images
This was [recommended by AppVeyor][1] to see if it has any impact on our
build times, hopefully on the beneficial side of things! This shouldn't
affect our binary compatibility for generated compilers like it would
normally do for Linux.
[1]: https://help.appveyor.com/discussions/questions/29832-did-recent-changes-apply-to-possibly-slow-down-builds#comment_46484879
2018-11-23 23:12:11 +00:00
Corey Farwell
ebb1a48b41
Merge branch 'master' into frewsxcv-dyn
2018-11-23 14:09:08 -05:00
bors
1f57e48411
Auto merge of #56186 - kennytm:rollup, r=kennytm
...
Rollup of 14 pull requests
Successful merges:
- #55767 (Disable some pretty-printers when gdb is rust-enabled)
- #55838 (Fix #[cfg] for step impl on ranges)
- #55869 (Add std::iter::unfold)
- #55945 (Ensure that the argument to `static_assert` is a `bool`)
- #56022 (When popping in CTFE, perform validation before jumping to next statement to have a better span for the error)
- #56048 (Add rustc_codegen_ssa to sysroot)
- #56091 (Fix json output in the self-profiler)
- #56097 (Fix invalid bitcast taking bool out of a union represented as a scalar)
- #56116 (ci: Download clang/lldb from tarballs)
- #56120 (Add unstable Literal::subspan().)
- #56154 (Pass additional linker flags when targeting Fuchsia)
- #56162 (std::str Adapt documentation to reality)
- #56163 ([master] Backport 1.30.1 release notes)
- #56168 (Fix the tracking issue for hash_raw_entry)
Failed merges:
r? @ghost
2018-11-23 18:42:20 +00:00
kennytm
36189a2739
Rollup merge of #56168 - sfackler:raw-entry-tracking, r=kennytm
...
Fix the tracking issue for hash_raw_entry
It used to point to the implementation PR.
2018-11-24 01:32:03 +08:00
kennytm
a56b0ab4be
Rollup merge of #56163 - pietroalbini:1.30.1-relnotes-master, r=pietroalbini
...
[master] Backport 1.30.1 release notes
Fixes #56135
r? @ghost
2018-11-24 01:32:02 +08:00
kennytm
69d4901846
Rollup merge of #56162 - adrianheine:patch-1, r=withoutboats
...
std::str Adapt documentation to reality
2018-11-24 01:32:01 +08:00
kennytm
c9870a4fe7
Rollup merge of #56154 - petrhosek:fuchsia-linker-args, r=alexcrichton
...
Pass additional linker flags when targeting Fuchsia
This is a follow up to 8aa9267 which changed the driver to use lld
directly rather than invoking it through Clang. This change ensures
we pass all the necessary flags to lld.
2018-11-24 01:31:59 +08:00
kennytm
bf72971abc
Rollup merge of #56120 - SergioBenitez:subspan, r=alexcrichton
...
Add unstable Literal::subspan().
Take 2 of #55971 . Still ~wrong, but now with a comment! (and less of a surface) Unblocks #49219 .
r? @alexcrichton
2018-11-24 01:31:58 +08:00
kennytm
97e6007932
Rollup merge of #56116 - alexcrichton:tarball-calng, r=kennytm
...
ci: Download clang/lldb from tarballs
Hopefully will speed up CI slightly!
2018-11-24 01:31:57 +08:00
kennytm
e0025df3fd
Rollup merge of #56097 - ogoffart:union-abi, r=eddyb
...
Fix invalid bitcast taking bool out of a union represented as a scalar
As reported in https://github.com/rust-lang/rust/pull/54668#issuecomment-440186476
2018-11-24 01:31:56 +08:00
kennytm
fb33fa4916
Rollup merge of #56091 - wesleywiser:fix_self_profiler_json, r=petrochenkov
...
Fix json output in the self-profiler
Fix missing ',' array element separators and convert NaN's to 0.
cc @Mark-Simulacrum
2018-11-24 01:31:54 +08:00
kennytm
1b707f78f5
Rollup merge of #56048 - bjorn3:cg_ssa_sysroot, r=eddyb
...
Add rustc_codegen_ssa to sysroot
Outside of rustc you are currently unable to use it.
r? @nikomatsakis (because you r+'ed #55627 )
2018-11-24 01:31:53 +08:00
kennytm
419a101d9c
Rollup merge of #56022 - RalfJung:validate-before-jump, r=oli-obk
...
When popping in CTFE, perform validation before jumping to next statement to have a better span for the error
Currently, when validating the return value fails, the span points at the next statement after the call. That does not make much sense.
r? @oli-obk
2018-11-24 01:31:52 +08:00
