>> However, -fno-delete-null-pointer-checks will do.
> 
> Not for PTA though ;)

Care to expand?

Paolo

Reply via email to