Home | History | Annotate | Download | only in Analysis

Lines Matching full:checker

1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.deadcode.UnreachableCode,alpha.core.CastSize,unix.Malloc,debug.ExprInspection -analyzer-store=region -verify %s
1032 // Rely on the CString checker evaluation of the strcpy API to convey that the result of strcpy is equal to p.