ASTVerifier now can be run in no-asserts builds using -Xfrontend -enable-ast-verifier

Following along with the chain of thought in this forum post: SIL Verifier now enabled in non-asserts builds behind -sil-verify-all, in the following PR:, I changed the ASTVerifier to be compiled into the compiler in no-asserts builds but only enabled it behind a flag. This should help triaging with no-asserts compilers. I am going to see if I can find some time to implement the re-run functionality that I mentioned previously (and also perhaps a driver flag for extra compile time verification that always passes in these frontend flags).

@Varun_Gandhi @tbkka @Erik_Eckstein @Andrew_Trick @dan-zheng

Stay tuned!


This is a great step, thanks!


Terms of Service

Privacy Policy

Cookie Policy