Re: malloca, freea, and Intel MPX

[Bruno Haible]

Paul Eggert wrote:
> converting a pointer to uintptr_t and back means that GCC won't connect 
> the resulting pointer to the original and this messes up bounds checking 
> on the result.

I don't observe this. This test program:

==============================================
#include <stdlib.h>
#include <stdint.h>

int main ()
{
  int n = 100;
  char *mem = malloc (n);
  char* p = (char *) (uintptr_t) mem;
  p[-2] = 'x';
  p[n] = 'z';
  return 0;
}
==============================================
when compiled with "gcc -mmpx -fcheck-pointer-bounds" (gcc 7.3.0),
produces

Saw a #BR! status 1 at 0x4005c8
Saw a #BR! status 1 at 0x4005e4

Bruno