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

[Grang, Mandeep Singh via cfe-commits]

We have a buildbot setup to uncover such cases of non-determinism: 
http://lab.llvm.org:8011/builders/reverse-iteration

The idea is to iterate unordered containers in reverse to weed out 
pointer ordering issues.

Another instance of non-determinism is relative ordering of elements 
with the same key: 
http://lists.llvm.org/pipermail/llvm-dev/2017-October/118639.html

Feel free to reach out to me to discuss more on this :)

--Mandeep


On 11/21/2017 6:30 PM, Devin Coughlin via Phabricator via cfe-commits wrote:
> dcoughlin added a comment.
>
> For clang itself I think we also use a stage-2 clang to build the same version of clang and make sure that it matches the stage-2 clang. This doesn't help for the analyzer though.
>
>
> Repository:
>    rL LLVM
>
> https://reviews.llvm.org/D40073
>
>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits