]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a5369f) | patch
[analyzer] Exploration strategy prioritizing unexplored coverage first
authorGeorge Karpenkov <ekarpenkov@apple.com>
Mon, 12 Feb 2018 22:39:57 +0000 (22:39 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Mon, 12 Feb 2018 22:39:57 +0000 (22:39 +0000)
commit59ea7a594e1c2d408eb61349cade57e7b8b28dd0
tree017d2d529552580ecae6785cf830c8ce642f6410tree | snapshot
parent9a5369fb11cd49c31002b9a4c4d60548f71bc770commit | diff
[analyzer] Exploration strategy prioritizing unexplored coverage first

See reviews.llvm.org/M1 for evaluation, and
lists.llvm.org/pipermail/cfe-dev/2018-January/056718.html for
discussion.

Differential Revision: https://reviews.llvm.org/D42775

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@324956 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/AnalyzerOptions.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h diff | blob | history
lib/StaticAnalyzer/Core/AnalyzerOptions.cpp diff | blob | history
lib/StaticAnalyzer/Core/CoreEngine.cpp diff | blob | history
test/Analysis/exploration_order/prefer_unexplored.cc [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.