rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2021-03-31	Rename stderr->64bit.stderr where needed.	Hameer Abbasi	-146/+0

2021-03-31	Add allocation information to undefined behaviour errors.	Hameer Abbasi	-0/+39

2020-09-19	Stop using the `const_eval` query for initializers of statics	Oliver Scherer	-4/+4
	As a side effect, we now represent most promoteds as `ConstValue::Scalar` again. This is useful because all implict promoteds are just references anyway and most explicit promoteds are numeric arguments to `asm!` or SIMD instructions.
2020-07-10	Rollup merge of #73989 - RalfJung:ub-enum-test, r=oli-obk	Manish Goregaokar	-6/+6
	adjust ub-enum test to be endianess-independent @cuviper noted that our test fails on "other" endianess systems (I never know which is which^^), so let's fix that.
2020-07-05	catch errors more locally around read_discriminant	Ralf Jung	-2/+2

2020-07-03	adjust ub-enum test to be endianess-independent	Ralf Jung	-6/+6

2020-06-19	Rollup merge of #72497 - RalfJung:tag-term, r=oli-obk	Ralf Jung	-2/+2
	tag/niche terminology cleanup The term "discriminant" was used in two ways throughout the compiler: * every enum variant has a corresponding discriminant, that can be given explicitly with `Variant = N`. * that discriminant is then encoded in memory to store which variant is active -- but this encoded form of the discriminant was also often called "discriminant", even though it is conceptually quite different (e.g., it can be smaller in size, or even use niche-filling). After discussion with @eddyb, this renames the second term to "tag". The way the tag is encoded can be either `TagEncoding::Direct` (formerly `DiscriminantKind::Tag`) or `TagEncoding::Niche` (formerly `DiscrimianntKind::Niche`). This finally resolves some long-standing confusion I had about the handling of variant indices and discriminants, which surfaced in https://github.com/rust-lang/rust/pull/72419. (There is also a `DiscriminantKind` type in libcore, it remains unaffected. I think this corresponds to the discriminant, not the tag, so that seems all right.) r? @eddyb
2020-05-30	miri errors: rename InvalidDiscriminant -> InvalidTag	Ralf Jung	-2/+2

2020-05-30	miri validation: clarify valid values of 'char'	Ralf Jung	-1/+1

2020-05-12	Pointer printing: do not print 0 offset	Ralf Jung	-5/+5

2020-04-27	keep 'pointer' terminology around	Ralf Jung	-5/+5

2020-04-26	organize Debug/Display impls a bit more; avoid sign-ignorant decimal display	Ralf Jung	-21/+21

2020-03-08	fix type size mismatch on 32bit	Ralf Jung	-17/+17

2020-03-06	please tidy	Ralf Jung	-13/+13

2020-03-06	test some more kinds of enums with uninhabited variants	Ralf Jung	-10/+42

2020-03-06	const validation ub tests: use transmute instead of unions	Ralf Jung	-26/+26

2020-02-26	miri: validity visitor comments and path printing improvements	Ralf Jung	-1/+1

2020-02-18	miri value visitor: fix some wrong assumptions about layout; improve error ↵	Ralf Jung	-7/+7
	messages
2019-09-06	Fixed grammar/style in error messages and reblessed tests.	Alexander Regueiro	-9/+9

2019-08-30	const-eval tests: make all unions repr(C)	Ralf Jung	-9/+9

2019-07-04	improve validity error range printing for singleton ranges	Ralf Jung	-2/+2

2019-07-04	turns out that dangling pointer branch is dead code; remove it and improve ↵	Ralf Jung	-20/+36
	the error that actually gets shown a bit
2018-12-25	Remove licenses	Mark Rousskov	-7/+7

2018-11-19	we now do proper validation on scalars	Ralf Jung	-4/+4

2018-11-15	do not accept out-of-bounds pointers in enum discriminants, they might be NULL	Ralf Jung	-6/+14

2018-11-15	validation: better error when the enum discriminant is Undef	Ralf Jung	-1/+1

2018-11-12	miri-engine value visitor update to VariantIdx	Oliver Scherer	-1/+1

2018-11-07	pretty-print scalar range that only has an upper bound	Ralf Jung	-1/+1

2018-11-07	do not print wrapping ranges like normal ranges in diagnostics	Ralf Jung	-12/+28

2018-11-05	Also test for undef in enum discriminant	Ralf Jung	-3/+11
	The error message is sub-par, but fixing that requries moving ScalarMaybeUndef to librustc which would conflict badly with another PR that is in flight.
2018-11-05	fix validation error on non-integer enum discriminants	Ralf Jung	-5/+5

2018-10-25	Report const eval error inside the query	Oliver Schneider	-3/+3

2018-10-09	also validate everything that has a Scalar layout, to catch NonNull	Ralf Jung	-1/+1

2018-10-09	switch validation of scalars to be type-driven	Ralf Jung	-1/+1
	This does not actually regress anything. It would regress NonNull, but we didn't handle that correctly previously either.
2018-08-28	address nits	Ralf Jung	-2/+2

2018-08-27	validate enum discriminant whenever it is read	Ralf Jung	-2/+2

2018-08-22	optimize sanity check path printing	Ralf Jung	-0/+27
	During the sanity check, we keep track of the path we are below in a `Vec`. We avoid cloning that `Vec` unless we hit a pointer indirection. The `String` representation is only computed when validation actually fails.