18     foo3(); // expected-warning {{calling 'foo3' is a violation of trusted computing base 'bar'}}  in foo1()
19     foo4(); // expected-warning {{calling 'foo4' is a violation of trusted computing base 'bar'}}  in foo1()
22     foo7(); // expected-warning {{calling 'foo7' is a violation of trusted computing base 'bar'}}  in foo1()
39     foo1(); // expected-warning {{calling 'foo1' is a violation of trusted computing base 'bar2'}}  in foo6()
40     foo4(); // expected-warning {{calling 'foo4' is a violation of trusted computing base 'bar'}}  in foo6()
43     // expected-warning@#1 {{calling 'foo7' is a violation of trusted computing base 'bar2'}}  in foo6()
44     // expected-warning@#1 {{calling 'foo7' is a violation of trusted computing base 'bar'}}  in foo6()
53     // expected-warning@#2 {{calling 'foo1' is a violation of trusted computing base 'bar2'}}  in foo10()
54     // expected-warning@#2 {{calling 'foo1' is a violation of trusted computing base 'bar3'}}  in foo10()
56     // expected-warning@#3 {{calling 'foo3' is a violation of trusted computing base 'bar'}}  in foo10()
57     // expected-warning@#3 {{calling 'foo3' is a violation of trusted computing base 'bar2'}}  in foo10()
58     // expected-warning@#3 {{calling 'foo3' is a violation of trusted computing base 'bar3'}}  in foo10()
60     // expected-warning@#4 {{calling 'foo4' is a violation of trusted computing base 'bar'}}  in foo10()
61     // expected-warning@#4 {{calling 'foo4' is a violation of trusted computing base 'bar3'}}  in foo10()
63     // expected-warning@#5 {{calling 'foo7' is a violation of trusted computing base 'bar'}}  in foo10()
64     // expected-warning@#5 {{calling 'foo7' is a violation of trusted computing base 'bar2'}}  in foo10()