8 Commits

Author	SHA1	Message	Date
Ralf Jung	de78cb56b2	on a signed deref check, mention the right pointer in the error	2024-08-01 14:25:19 +02:00
Ralf Jung	f8ebe8d783	improve dangling/oob errors and make them more uniform	2024-07-27 21:12:54 +02:00
Ralf Jung	5b38b149dc	miri: fix offset_from behavior on wildcard pointers	2024-07-27 17:18:35 +02:00
Zalathar	9aaa0c5867	Always use a colon in //@ normalize-*: headers	2024-07-11 12:23:44 +10:00
Ralf Jung	5c33a5690d	offset, offset_from: allow zero-byte offset on arbitrary pointers	2024-05-13 07:59:16 +02:00
许杰友 Jieyou Xu (Joe)	ec2cc761bc	[AUTO-GENERATED] Migrate ui tests from // to //@ directives	2024-02-16 20:02:50 +00:00
Camille GILLOT	02424e4bc5	Normalize alloc-id in tests.	2023-10-16 16:29:35 +00:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00