]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af19a6a) | patch
[analyzer] Solve another source of non-determinism in the diagnostic
authorAnna Zaks <ganna@apple.com>
Thu, 2 Aug 2012 23:41:05 +0000 (23:41 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 2 Aug 2012 23:41:05 +0000 (23:41 +0000)
commitd015f4febe85d3e3340172d70042840c51bbd836
tree2d3cd83d797b9d8f31440d54af58a4f8d86806edtree | snapshot
parentaf19a6aaa2959ef5e76f19d51e87ef523bdeeddecommit | diff
[analyzer] Solve another source of non-determinism in the diagnostic
engine.

The code that was supposed to split the tie in a deterministic way is
not deterministic. Most likely one of the profile methods uses a
pointer. After this change we do finally get the consistent diagnostic
output. Testing this requires running the analyzer on large code bases
and diffing the results.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@161224 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/BugReporter.cpp diff | blob | history
lib/StaticAnalyzer/Core/PathDiagnostic.cpp diff | blob | history
test/Analysis/inline-unique-reports.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.