1 // RUN: %cheri_cc1 -fsyntax-only  %s -verify
2 int insecure();
3 
4 __attribute__((sensitive))
doSomethingCrazy(int * a)5 int doSomethingCrazy(int * a)
6 {
7   return *a + insecure(); // expected-warning {{Calling non-sensitive function}}
8 }
9 
10