编译器优化代码的源码级调试：看似无解，实则可行