2020-03-25 |
Ralf Jung | miri: simplify shift operator overflow checking
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | rename def_id -> static_def_id
|
commit | commitdiff | tree |
2020-03-25 |
Ralf Jung | better explain GLOBAL_KIND choice
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | actually we can reject all reads from mutable allocs...
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | fix const_prop ICE
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | bless you
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | get back the more precise error message
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | bless; add test for mutating a static
|
commit | commitdiff | tree |
2020-03-24 |
Ralf Jung | move ModifiedStatic error to ConstEval errors, and...
|
commit | commitdiff | tree |
2020-03-23 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-03-23 |
Ralf Jung | make sure we are checking the size of the right thing
|
commit | commitdiff | tree |
2020-03-23 |
Ralf Jung | add macro to reduce boilerplate and keep readable messages
|
commit | commitdiff | tree |
2020-03-23 |
Ralf Jung | add err_machine_stop macro
|
commit | commitdiff | tree |
2020-03-22 |
Ralf Jung | remove UbExperimental variant
|
commit | commitdiff | tree |
2020-03-22 |
Ralf Jung | miri engine: turn error sanity checks into assertions
|
commit | commitdiff | tree |
2020-03-22 |
Ralf Jung | avoid unsafe code, use upcasting-trait instead (trick...
|
commit | commitdiff | tree |
2020-03-22 |
Ralf Jung | get rid of ConstPropUnsupported; use ZST marker structs...
|
commit | commitdiff | tree |
2020-03-21 |
Ralf Jung | normalize away preferred alignment
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | more type annotations to help inference
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | fmt
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | make rustc_layout also work for type definitions
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | add a test for rustc_layout(debug)
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | add debug option to #[rustc_layout]
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | fix layout_test visitor name
|
commit | commitdiff | tree |
2020-03-20 |
Ralf Jung | Abi::is_signed: assert that we are a Scalar
|
commit | commitdiff | tree |
2020-03-19 |
Ralf Jung | add delay_span_bug to TransmuteSizeDiff, just to be...
|
commit | commitdiff | tree |
2020-03-19 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-03-19 |
Ralf Jung | do not 'return' in 'throw_' macros
|
commit | commitdiff | tree |
2020-03-18 |
Ralf Jung | increase stack slack for x86_64-pc-windows-gnu
|
commit | commitdiff | tree |
2020-03-16 |
Ralf Jung | make mem::{zeroed,uninitialized} inline(always)
|
commit | commitdiff | tree |
2020-03-16 |
Ralf Jung | init-large-type test needs optimizations
|
commit | commitdiff | tree |
2020-03-15 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | fix a codegen test
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | increase slack for stack size test
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | debug-assert ptr sanity in ptr::write
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | fix comment, rustfmt
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | adjust Miri to needs of changed unwinding strategy
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | update panicking comments in libstd
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | adjust Miri interaction with panic runtime
|
commit | commitdiff | tree |
2020-03-14 |
Ralf Jung | add Scalar::from methods for signed integers
|
commit | commitdiff | tree |
2020-03-13 |
Ralf Jung | bless tests
|
commit | commitdiff | tree |
2020-03-13 |
Ralf Jung | adjust enum naming
|
commit | commitdiff | tree |
2020-03-12 |
Ralf Jung | miri engine: fix treatment of abort intrinsic
|
commit | commitdiff | tree |
2020-03-12 |
Ralf Jung | rename panic_if_ intrinsics to assert_
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | fmt
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | make error message less confusing
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | we are on 2018 edition, use try block
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | avoid boolean inversion
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | explain why we catch PointerUseAfterFree
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | start Miri messages lower-case
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | fmt, and fix rustfmt-induced rebase hickup
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | generalize InvalidNullPointerUsage to InvalidIntPointerUsage
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | fmt, tweak messages and bless
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | miri: categorize errors into "unsupported" and "UB"
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | fix expand-to-unstable test
|
commit | commitdiff | tree |
2020-03-11 |
Ralf Jung | implement zeroed and uninitialized with MaybeUninit
|
commit | commitdiff | tree |
2020-03-10 |
Ralf Jung | bump backtrace-sys
|
commit | commitdiff | tree |
2020-03-10 |
Ralf Jung | also make panic_fmt track_caller
|
commit | commitdiff | tree |
2020-03-09 |
Ralf Jung | also handle abort intrinsic with new machine hook
|
commit | commitdiff | tree |
2020-03-09 |
Ralf Jung | remove no-longer needed span from Miri Machine hook
|
commit | commitdiff | tree |
2020-03-09 |
Ralf Jung | Improve readability
|
commit | commitdiff | tree |
2020-03-09 |
Ralf Jung | panic_bounds_check: use caller_location, like PanicFnLangItem
|
commit | commitdiff | tree |
2020-03-09 |
Ralf Jung | miri: add machine hook for Abort terminator
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | use static strings instead of tcx
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | Fix typo
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | fix some cases of unexpected exceptions leaving validation
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | miri validation: debug-complain about unexpected errors
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | move error allocation test to error.rs
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | miri: ICE on invalid terminators
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | fix memory leak when vec::IntoIter panics during drop
|
commit | commitdiff | tree |
2020-03-08 |
Ralf Jung | fix type size mismatch on 32bit
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | bug on ty::GeneratorWitness
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | rename visit_primitive -> try_visit_primitive, and...
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | please tidy
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | better error messages for invalid boxes (and a few...
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | test some more kinds of enums with uninhabited variants
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | test that we validate boxes
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | const validation ub tests: use transmute instead of...
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | miri value visitor: detect primitives by type, not...
|
commit | commitdiff | tree |
2020-03-06 |
Ralf Jung | 'fieldless enums' is not what I meant -- it's empty...
|
commit | commitdiff | tree |
2020-03-05 |
Ralf Jung | reduce test size for Miri
|
commit | commitdiff | tree |
2020-03-05 |
Ralf Jung | update backtrace crate
|
commit | commitdiff | tree |
2020-03-04 |
Ralf Jung | more toolstate comments
|
commit | commitdiff | tree |
2020-03-04 |
Ralf Jung | cover some more nearby cases
|
commit | commitdiff | tree |
2020-03-04 |
Ralf Jung | use integer assoc consts instead of methods
|
commit | commitdiff | tree |
2020-03-04 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2020-03-04 |
Ralf Jung | point cargo-miri to the right xargo binary
|
commit | commitdiff | tree |
2020-03-02 |
Ralf Jung | remove non-sysroot sources from rust-src component
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | Fix typo
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | fix aliasing violation in align_to_mut
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | clarify alignment requirements in Vec::from_raw_parts
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | transmute: improve Vec example
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | downgrade some assertions to debug_ again
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | move pattern to fn argument
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | move panic intrinsic codegen to helper function
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | clarify a comment in the test
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | we cannot short-circuit just becuase the Abi seems...
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | fmt
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | make it even more conservative, and note some FIXMEs
|
commit | commitdiff | tree |
2020-02-29 |
Ralf Jung | test some more things that should not panic
|
commit | commitdiff | tree |
next |