import lit.formats import lit.TestRunner # Custom format class for static analyzer tests class AnalyzerTest(lit.formats.ShTest): def execute(self, test, litConfig): result = self.executeWithAnalyzeSubstitution( test, litConfig, '-analyzer-constraints=range') if result.code == lit.Test.FAIL: return result # If z3 backend available, add an additional run line for it if test.config.clang_staticanalyzer_z3 == '1': result = self.executeWithAnalyzeSubstitution( test, litConfig, '-analyzer-constraints=z3 -DANALYZER_CM_Z3') return result def executeWithAnalyzeSubstitution(self, test, litConfig, substitution): saved_substitutions = list(test.config.substitutions) test.config.substitutions.append(('%analyze', substitution)) result = lit.TestRunner.executeShTest(test, litConfig, self.execute_external) test.config.substitutions = saved_substitutions return result