> If you want then to check for things like null pointers or integer overflow or array bounds

I specificly don't want them to check for those things; that is the fucking problem in the first place! When I write:

  x = *p;

I want it compiled to a damn memory access. If I meant:

  x = *p; __builtin_assume_non_null(p);

I'd have damn well written that.