[analyzer] Switch the default exploration strategy to priority queue based on coverage
authorGeorge Karpenkov <ekarpenkov@apple.com>
Tue, 27 Feb 2018 01:31:56 +0000 (01:31 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Tue, 27 Feb 2018 01:31:56 +0000 (01:31 +0000)
commit06b7bd61f4986b18766977530417bf489f8d5578
tree0cff6b7ce87bea563c1ba7dfdead9993ed8c6425
parent31254d4366359717fc56350a3043309ac1db55dd
[analyzer] Switch the default exploration strategy to priority queue based on coverage

After the investigation it seems safe to flip the switch.

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

llvm-svn: 326157
clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
clang/test/Analysis/MisusedMovedObject.cpp
clang/test/Analysis/analyzer-config.c
clang/test/Analysis/analyzer-config.cpp
clang/test/Analysis/loop-unrolling.cpp