[housel]

Norman Ramsey and David R. Hanson implemented this sort of compiler-assisted debugging for C back in 1992, in a debugger called ldb: http://www.cs.tufts.edu/~nr/pubs/retargetable-abstract.html