Lines Matching full:analyzer
1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,core.experimental -analyzer-store=region -analyzer-constraints=range -verify -fblocks %s -analyzer-eagerly-assume
47 // In this test case, 'needsAnArray' is a signed char. The analyzer tracks
49 // promoted to 'int'. Currently the analyzer doesn't reason well about
86 // not maintained via sign extension. The analyzer doesn't properly handle
88 // case relies on -analyzer-eagerly-assume because of the expression
104 // Static analyzer skips this so either
111 // Analyzer skips this so Flag1 and Flag2 have the
127 // This test case depends on using -analyzer-eagerly-assume and
128 // -analyzer-store=region. The '-analyzer-eagerly-assume' causes the path
