1 // RUN: %cheri_cc1 -o - %s -fsyntax-only -verify 2 readFail(__cheri_output int * __capability x)3int readFail(__cheri_output int * __capability x) 4 { 5 *x = 12; 6 (*x)++; // expected-error {{write-only variable is not readable}} 7 return *x; // expected-error {{write-only variable is not readable}} 8 } 9 caller(int * __capability x)10int caller(int * __capability x) 11 { 12 return readFail(x); 13 } 14 15