> Currently there is no special handling for restrict pointers (unless > the > generic alias set routines in alias.c support it). > This isn't quite right. I implemented handling of restrict pointers in the flow insensitive aliasing part (through probably not as fully as it could be, i'm not sure). > > Diego. >