Use dead code elimination to implement assertions.

• 使用无效代码清除策略实现断言。