1 // RUN: %cheri_cc1 %s -fsyntax-only -verify
2 // expected-no-diagnostics
3 #define NULL (void * __capability)0
func(char * __capability ptr)4 int func(char * __capability ptr)
5 {
6         if (ptr == NULL)
7                 return (0);
8         return (1);
9 }
10 
11