Philip Reames wrote: > Another option might be to introduce a small printing pass that simply > prints the dereferenceability of every pointer in a function - analogous to > MemDepPrinter - then use FileCheck on the result of that. Perfect. I'll do that.