1 // RUN: %cheri_cc1 -o - %s -fsyntax-only -verify
2 
readFail(__cheri_output int * __capability x)3 int 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)10 int caller(int * __capability x)
11 {
12 	return readFail(x);
13 }
14 
15