[PATCH] D50594: [analyzer] [NFC] Introduce separate targets for testing the analyzer: check-clang-analyzer and check-clang-analyzer-z3

Yvan Roux via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Aug 14 03:17:13 PDT 2018


yroux added a comment.

Notice that the affected bots run two times the test cases where one execution passes and one fails, as you can see in (search Analysis/plist-macros.cpp for instance):

http://lab.llvm.org:8011/builders/clang-cmake-armv8-full/builds/5450/steps/ninja%20check%201/logs/stdio

and I think it is due to llvm-lit being invoked with "--param USE_Z3_SOLVER=0 --param USE_Z3_SOLVER=0"


Repository:
  rC Clang

https://reviews.llvm.org/D50594





More information about the cfe-commits mailing list