review.tizen.org Git - platform/upstream/llvm.git/commit

author	Mandeep Singh Grang <mgrang@quicinc.com>
	Fri, 8 Mar 2019 20:13:53 +0000 (20:13 +0000)
committer	Mandeep Singh Grang <mgrang@quicinc.com>
	Fri, 8 Mar 2019 20:13:53 +0000 (20:13 +0000)
commit	c0773ab6a164ba176e7f56e54142ab9a42738606
tree	c6fc244d09afddca67ccd62b990fa9070fb0366d	tree \| snapshot
parent	78fcb8381fea0c754bdb23c107dce536fd0b2437	commit \| diff

[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

llvm-svn: 355720

clang/docs/analyzer/checkers.rst		diff \| blob \| history
clang/include/clang/StaticAnalyzer/Checkers/Checkers.td		diff \| blob \| history
clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt		diff \| blob \| history
clang/lib/StaticAnalyzer/Checkers/PointerSortingChecker.cpp	[new file with mode: 0644]	blob
clang/test/Analysis/Inputs/system-header-simulator-cxx.h		diff \| blob \| history
clang/test/Analysis/ptr-sort.cpp	[new file with mode: 0644]	blob
clang/www/analyzer/alpha_checks.html		diff \| blob \| history