summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/generics.m
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] Fix crash in ObjCGenericsCheckerDevin Coughlin2016-05-111-0/+273
| | | | | | | | | | | | | | | Fix a crash in the generics checker where DynamicTypePropagation tries to get the superclass of a root class. This is a spot-fix for a deeper issue where the checker makes assumptions that may not hold about subtyping between the symbolically-tracked type of a value and the compile-time types of a cast on that value. I've added a TODO to address the underlying issue. rdar://problem/26086914 llvm-svn: 269227
* [analyzer] Move the ObjCGenericsChecker out of the alpha package.Devin Coughlin2015-11-031-2/+2
| | | | | | | It is now in the osx.cocoa package and so will be on by default for Apple toolchains. llvm-svn: 251966
* [analyzer] Bug identificationGabor Horvath2015-10-221-6214/+6299
| | | | | | | | | | | | | | | | This patch adds hashes to the plist and html output to be able to identfy bugs for suppressing false positives or diff results against a baseline. This hash aims to be resilient for code evolution and is usable to identify bugs in two different snapshots of the same software. One missing piece however is a permanent unique identifier of the checker that produces the warning. Once that issue is resolved, the hashes generated are going to change. Until that point this feature is marked experimental, but it is suitable for early adoption. Differential Revision: http://reviews.llvm.org/D10305 Original patch by: Bence Babati! llvm-svn: 251011
* [Static Analyzer] General type checker based on dynamic type information.Gabor Horvath2015-09-181-219/+396
| | | | | | Differential Revision: http://reviews.llvm.org/D12973 llvm-svn: 248041
* [Static Analyzer] Generics Checker: When an ObjC method returns a ↵Gabor Horvath2015-09-161-575/+1103
| | | | | | | | specialized object, track it properly. Differential Revision: http://reviews.llvm.org/D12889 llvm-svn: 247861
* [Static Analyzer] Merge the Objective-C Generics Checker into Dynamic Type ↵Gabor Horvath2015-09-131-38/+38
| | | | | | | | Propagation checker. Differential Revision: http://reviews.llvm.org/D12381 llvm-svn: 247532
* [Static Analyzer] Objective-C Generics Checker improvements.Gabor Horvath2015-09-081-319/+893
| | | | | | Differential Revision: http://reviews.llvm.org/D12701 llvm-svn: 247071
* [Static Analyzer] Fix tests to reflect the change in the diagnostic message.Gabor Horvath2015-08-251-70/+70
| | | | llvm-svn: 245951
* [Static Analyzer] Add checker to catch lightweight generics related type ↵Gabor Horvath2015-08-211-0/+5265
errors in Objective-C. Differential Revision: http://reviews.llvm.org/D11427 llvm-svn: 245646
OpenPOWER on IntegriCloud