[PATCH] D53692: [analyzer] Evaluate all non-checker config options before analysis

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Nov 5 18:41:19 PST 2018


NoQ added inline comments.


================
Comment at: test/Analysis/analyzer-config.c:4-12
 void bar() {}
 void foo() {
   // Call bar 33 times so max-times-inline-large is met and
   // min-blocks-for-inline-large is checked
   for (int i = 0; i < 34; ++i) {
     bar();
   }
----------------
The code is no longer necessary, right? All options are now initialized eagerly and there's no need to analyze any code to get them initialized.


================
Comment at: test/Analysis/analyzer-config.cpp:1
 // RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin10 %s -o /dev/null -analyzer-checker=core,osx.cocoa,debug.ConfigDumper -analyzer-max-loop 34 > %t 2>&1
 // RUN: FileCheck --input-file=%t %s --match-full-lines
----------------
Aaand this test should probably be removed entirely.


https://reviews.llvm.org/D53692





More information about the cfe-commits mailing list