860 Commits

Author	SHA1	Message	Date
David Renshaw	e3fa4fb849	get cargo-miri to work	2017-06-29 13:06:36 -04:00
Oliver Schneider	8722ce8d4b	Merge pull request #223 from oli-obk/lvalue_read ... Reinstate `eval_and_read_lvalue` optimizations	2017-06-29 15:40:06 +02:00
David Renshaw	73ab5c77c2	normalize signature before passing to check_sig_compat	2017-06-29 07:58:22 -04:00
David Renshaw	32e7dcb6fb	update for upstream changes to TyFnDef	2017-06-28 22:00:17 -04:00
Oliver Schneider	695f9723d2	Merge pull request #222 from oli-obk/const_eval_checks ... Address comments to previous PR	2017-06-28 23:08:58 +02:00
Ralf Jung	51b43215a4	cast -> transmute	2017-06-28 11:37:15 -07:00
Oliver Schneider	917c89e697	Optimize lvalue reads from Value::ByVal and Value::ByValPair	2017-06-28 13:37:23 +02:00
Oliver Schneider	91409f1d76	Code nits	2017-06-28 13:10:50 +02:00
Oliver Schneider	c8079c652c	Address comments	2017-06-28 10:17:14 +02:00
Oliver Schneider	a724a39323	Reword comments	2017-06-28 09:46:41 +02:00
Oliver Schneider	5dfaacf310	Simplify all the code	2017-06-27 13:36:41 +02:00
Oliver Schneider	ab400f3eea	Initial work towards checking const eval rules in miri	2017-06-26 17:58:47 +02:00
Ralf Jung	76a1d66e77	fix build after rebase	2017-06-24 11:05:53 -07:00
Ralf Jung	38d03392fa	Clarify pattern matching	2017-06-24 11:05:13 -07:00
Ralf Jung	b1acc130bb	check alignment of pointers on Ref	2017-06-24 11:05:13 -07:00
Ralf Jung	f0c8df2291	handle ptr-int casts explicitly in cast.rs	2017-06-24 11:05:13 -07:00
Oliver Schneider	eca9e3429a	PrimVal used to allow comparing Undef	2017-06-23 16:12:03 +02:00
Oliver Schneider	5ee4fdcd15	fetch_tls_dtor "read" an Undef as nonzero	2017-06-23 13:31:00 +02:00
Oliver Schneider	c4fc6c677d	Typo	2017-06-23 13:30:31 +02:00
Oliver Schneider	9be3e9185b	Remove the zst allocation	2017-06-23 12:55:49 +02:00
Ralf Jung	d5c031640f	use PrimVal::to_bool rather than bytes_to_bool	2017-06-22 20:20:26 -07:00
Ralf Jung	14cb31fb88	permit bit-anding in pointer values below the alignment ... This makes HashMap work!	2017-06-22 14:46:53 -07:00
Ralf Jung	269667e152	implement _nonzero intrinsics	2017-06-22 14:46:53 -07:00
Ralf Jung	c1a6df941e	permit all kinds of 0-offsets on ZSTs	2017-06-22 14:26:17 -07:00
Ralf Jung	2f61356858	permit offsetting a NULL-ptr by 0, to fix hashmap test	2017-06-22 13:41:13 -07:00
Ralf Jung	57391bab10	fix unused variable warning	2017-06-22 11:33:39 -07:00
Ralf Jung	6512fa7be8	use PrimVal::is_null	2017-06-22 11:33:31 -07:00
Ralf Jung	3637aa86c8	allow any offset on integer pointers	2017-06-22 11:28:00 -07:00
Oliver Schneider	8de111018d	Merge pull request #201 from oli-obk/test_suite_fails ... "Support" more libc functions	2017-06-22 14:16:45 +02:00
Oliver Schneider	8733bd0e7c	Update mod.rs	2017-06-22 11:40:06 +02:00
Oliver Schneider	a805606d45	malloc should return null for zst allocs	2017-06-22 08:52:53 +02:00
Ralf Jung	7b2b0dd56c	test HashMap creation in libstd-MIR, and make it work again	2017-06-21 23:09:34 -07:00
Ralf Jung	894306e47d	refactor pointer arithmetic handling	2017-06-21 22:59:47 -07:00
Ralf Jung	78aa93fa10	correctly reject functions pointers that had arithmetic done to them	2017-06-21 21:45:51 -07:00
Ralf Jung	7b1582b383	permit integer addition and subtraction on ptr-integers	2017-06-21 21:38:43 -07:00
Ralf Jung	b8c5e7fd0e	refactor pointer handling in binops	2017-06-21 21:02:11 -07:00
Ralf Jung	184d3b3bad	expand thread-local storage tests to cover dtor order and re-running dtors	2017-06-21 20:17:07 -07:00
Oliver Schneider	a630677b01	Report better errors on random numbers and threads	2017-06-21 16:34:40 +02:00
Oliver Schneider	ecc44fec7e	Implement malloc and free	2017-06-21 15:51:42 +02:00
Oliver Schneider	f22c7e43df	Store env vars where necessary	2017-06-21 15:46:30 +02:00
Oliver Schneider	5414825f09	Simplify numeric intrinsics	2017-06-21 15:08:19 +02:00
Oliver Schneider	a82fe9ae0c	Enable more zst writes and reads	2017-06-20 16:26:53 +02:00
Oliver Schneider	ea6f6079ca	Use PrimVal instead of Pointer where applicable	2017-06-20 14:28:19 +02:00
Oliver Schneider	a6734cd890	Fix unions	2017-06-20 14:28:18 +02:00
Oliver Schneider	75fddee700	Simplify the return lvalue	2017-06-20 14:28:18 +02:00
Oliver Schneider	a2baeb516c	Run the tls destructors in the correct order	2017-06-20 14:28:18 +02:00
Oliver Schneider	43afa20dc7	Add pthread docs	2017-06-20 14:28:18 +02:00
Oliver Schneider	fcf495821e	Get rid of the integer allocation	2017-06-20 14:28:18 +02:00
Oliver Schneider	f5ca91e812	Update to latest nightly	2017-06-20 14:28:18 +02:00
David Renshaw	f14ebd1142	handle EndRegion as no-op	2017-06-20 19:35:46 +09:00