[PATCH 0/7] RFC Memory tagging support

[Andreas Schwab]

On Jun 15 2020, Richard Earnshaw (lists) wrote:

>> rettype
>> inhibit_loop_to_libcall
>> MEMMOVE (a1const void *a1, a2const void *a2, size_t len)
>> {
>>   unsigned long int dstp = (long int) dest;
>>   unsigned long int srcp = (long int) src;
>> 
>>   /* This test makes the forward copying code be used whenever possible.
>>      Reduces the working set.  */
>>   if (dstp - srcp >= len) /* *Unsigned* compare!  */
>> 
>> How does it work?
>> 
>
> Well the code is technically undefined!

Not undefined, but implementation-defined.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."