1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 
3 #define PLACE_IN_TCB(NAME) [[clang::enforce_tcb(NAME)]]
4 #define PLACE_IN_TCB_LEAF(NAME) [[clang::enforce_tcb_leaf(NAME)]]
5 
6 PLACE_IN_TCB("foo") void in_tcb_foo();
7 void not_in_tcb();
8 
9 // Test behavior on classes and methods.
10 class C {
11   void bar();
12 
13   PLACE_IN_TCB("foo")
foo()14   void foo() {
15     // TODO: Figure out if we want to support methods at all.
16     // Does it even make sense to isolate individual methods into a TCB?
17     // Maybe a per-class attribute would make more sense?
18     bar(); // expected-warning{{calling 'bar' is a violation of trusted computing base 'foo'}}
19   }
20 };
21 
22 // Test behavior on templates.
23 template <typename Ty>
24 PLACE_IN_TCB("foo")
foo_never_instantiated()25 void foo_never_instantiated() {
26   not_in_tcb(); // expected-warning{{calling 'not_in_tcb' is a violation of trusted computing base 'foo'}}
27   in_tcb_foo(); // no-warning
28 }
29 
30 template <typename Ty>
31 PLACE_IN_TCB("foo")
32 void foo_specialized();
33 
34 template<>
foo_specialized()35 void foo_specialized<int>() {
36   not_in_tcb(); // expected-warning{{calling 'not_in_tcb' is a violation of trusted computing base 'foo'}}
37   in_tcb_foo(); // no-warning
38 }
39 
40 PLACE_IN_TCB("foo")
call_template_good()41 void call_template_good() {
42   foo_specialized<int>(); // no-warning
43 }
44 PLACE_IN_TCB("bar")
call_template_bad()45 void call_template_bad() {
46   foo_specialized<int>(); // expected-warning{{calling 'foo_specialized<int>' is a violation of trusted computing base 'bar'}}
47 }
48 
49 template<typename Ty>
50 void foo_specialization_in_tcb();
51 
52 template<>
53 PLACE_IN_TCB("foo")
foo_specialization_in_tcb()54 void foo_specialization_in_tcb<int>() {
55   not_in_tcb(); //expected-warning{{calling 'not_in_tcb' is a violation of trusted computing base 'foo'}}
56   in_tcb_foo(); // no-warning
57 }
58 
59 template<>
foo_specialization_in_tcb()60 void foo_specialization_in_tcb<double>() {
61   not_in_tcb(); // no-warning
62   in_tcb_foo(); // no-warning
63 }
64 
65 PLACE_IN_TCB("foo")
call_specialization_in_tcb()66 void call_specialization_in_tcb() {
67   foo_specialization_in_tcb<int>(); // no-warning
68   foo_specialization_in_tcb<long>(); // expected-warning{{calling 'foo_specialization_in_tcb<long>' is a violation of trusted computing base 'foo'}}
69   foo_specialization_in_tcb<double>(); // expected-warning{{'foo_specialization_in_tcb<double>' is a violation of trusted computing base 'foo'}}
70 }
71