5 Commits

Author	SHA1	Message	Date
Ralf Jung	98254f67af	pointer tag tracking: on creation, log the offsets it is created for	2022-07-02 11:33:29 -04:00
Ralf Jung	8bd4bbe3e4	tweak int2ptr diagnostics	2022-06-28 08:52:22 -04:00
Ralf Jung	c1eddbc7fe	show int2ptr warning once for each span (but don't duplicate the long help)	2022-06-27 20:50:45 -04:00
Ralf Jung	67e89b53e2	fix warning text	2022-06-27 20:04:46 -04:00
Ralf Jung	13d425daeb	make permissive provenance and raw-ptr tagging the default	2022-06-26 21:14:42 -04:00