[PATCH] D40073: [Analyzer] Non-determinism: don't sort indirect goto LabelDecl's by addresses

[Ilya Palachev via Phabricator via cfe-commits]

ilya-palachev updated this revision to Diff 123016.
ilya-palachev added a comment.

Slightly changed the number of max-nodes, since previous one was maximum possible on my local branch, and it doesn't work for upstream. The behavior with number 500 seems more stable. With it, we have 4 different types of PLIST's being generated: 14, 54, 8 and 24 times, correspondingly.


Repository:
  rL LLVM

https://reviews.llvm.org/D40073

Files:
  lib/Analysis/CFG.cpp
  test/Analysis/diagnostics/goto-label-determinism.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D40073.123016.patch
Type: text/x-patch
Size: 11304 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20171115/14bb9e9d/attachment-0001.bin>