I don't think that flies so well. The bugs we hit in older compilers were location lists that looked fine but were incorrect for the prologue regions. There isn't any automatic way to identify those location lists as bad.