Lines Matching +full:x +full:- +full:versions

1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix,debug.ExprInspection \
2 // RUN:    -verify -analyzer-config eagerly-assume=false -std=c99 %s \
3 // RUN:    -Wno-implicit-function-declaration
33   return values[0]; // no-warning  in concreteOffsetBindingIsInvalidatedBySymbolicOffsetAssignment()
36 struct X{  struct
39 int initStruct(struct X *st);  argument
41   struct X l;  in structOffsetBindingIsInvalidated()
43   return l.mem; // no-warning  in structOffsetBindingIsInvalidated()
49     clang_analyzer_eval(values[1] == 4);// expected-warning {{UNKNOWN}}  in testConstraintOnRegionOffset()
57     clang_analyzer_eval(values[0] == 4);// expected-warning {{UNKNOWN}}  in testConstraintOnRegionOffsetStack()
62 …id b(); // expected-warning {{a function declaration without a prototype is deprecated in all vers…
64 …// expected-warning@+1 {{passing arguments to 'b' without a prototype is deprecated in all version…  in missingPrototypeCallsiteMatchingArgsAndParams()
67 void b(int *c) { // expected-note {{conflicting prototype is here}}  in b()
68   clang_analyzer_dump(c); // expected-warning {{&Element{buffer,0 S64b,int}}}  in b()
69   *c = 42; // no-crash  in b()
72 …id c(); // expected-warning {{a function declaration without a prototype is deprecated in all vers…
74 …// expected-warning@+1 {{passing arguments to 'c' without a prototype is deprecated in all version…  in missingPrototypeCallsiteMismatchingArgsAndParams()
77 void c(int *c) { // expected-note {{conflicting prototype is here}}  in c()
78   clang_analyzer_dump(c); // expected-warning {{Unknown}}  in c()
79   *c = 42; // no-crash  in c()