HomePhabricator

[Analyzer] Checker for non-determinism caused by sorting of pointer-like…

Description

[Analyzer] Checker for non-determinism caused by sorting of pointer-like elements

Summary:
Added a new category of checkers for non-determinism. Added a checker for non-determinism
caused due to sorting containers with pointer-like elements.

Reviewers: NoQ, george.karpenkov, whisperity, Szelethus

Reviewed By: NoQ, Szelethus

Subscribers: Charusso, baloghadamsoftware, jdoerfert, donat.nagy, dkrupp, martong, dblaikie, MTC, Szelethus, mgorny, xazax.hun, szepet, rnkovacs, a.sidorin, mikhail.ramalho, cfe-commits

Tags: #clang

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

Details

Committed
mgrangMar 8 2019, 12:13 PM
Reviewer
NoQ
Differential Revision
D50488: [Analyzer] Checker for non-determinism caused by sorting of pointer-like elements
Branches
Unknown
Tags
Unknown