测试GCC的指向分析的指针

Question

如何测试GCC的分析点的实施。或者一般来说，我们如何在编译器框架中测试点到分析的给定实现。