90 int evil_nonnull_func(int* pointer, void * pv)  in evil_nonnull_func()  argument
92 …if (pointer == NULL) {  // expected-warning {{comparison of nonnull parameter 'pointer' equal to a…  in evil_nonnull_func()
95      return *pointer;  in evil_nonnull_func()
98    pointer = pv;  in evil_nonnull_func()
99    if (!pointer)  in evil_nonnull_func()
102      return *pointer;  in evil_nonnull_func()
108 int another_evil_nonnull_func(int* pointer, char ch, void * pv) __attribute__((nonnull(1, 3)));
109 int another_evil_nonnull_func(int* pointer, char ch, void * pv) {  in another_evil_nonnull_func()  argument
110 …if (pointer == NULL) { // expected-warning {{comparison of nonnull parameter 'pointer' equal to a …  in another_evil_nonnull_func()
113      return *pointer;  in another_evil_nonnull_func()
116    set_param_to_null(&pointer);  in another_evil_nonnull_func()
117    if (!pointer)  in another_evil_nonnull_func()
120      return *pointer;  in another_evil_nonnull_func()
131 void yet_another_evil_nonnull_func(int* pointer)  in yet_another_evil_nonnull_func()  argument
135 …if (pointer) {  // expected-warning {{nonnull parameter 'pointer' will evaluate to 'true' on first…  in yet_another_evil_nonnull_func()
140    pointer = returns_null(&pv);  in yet_another_evil_nonnull_func()