xref: /aosp_15_r20/external/clang/test/SemaCXX/pragma-vtordisp.cpp (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li // RUN: %clang_cc1 -std=c++11 -fms-extensions -fms-compatibility -fsyntax-only -triple=i386-pc-win32 -verify %s
2*67e74705SXin Li 
3*67e74705SXin Li struct A { int a; };
4*67e74705SXin Li 
5*67e74705SXin Li #pragma vtordisp(pop) // expected-warning {{#pragma vtordisp(pop, ...) failed: stack empty}}
6*67e74705SXin Li #pragma vtordisp(push, 0)
7*67e74705SXin Li #pragma vtordisp(push, 1)
8*67e74705SXin Li #pragma vtordisp(push, 2)
9*67e74705SXin Li struct B : virtual A { int b; };
10*67e74705SXin Li #pragma vtordisp(pop)
11*67e74705SXin Li #pragma vtordisp(pop)
12*67e74705SXin Li #pragma vtordisp(pop)
13*67e74705SXin Li #pragma vtordisp(pop) // expected-warning {{#pragma vtordisp(pop, ...) failed: stack empty}}
14*67e74705SXin Li 
15*67e74705SXin Li #pragma vtordisp(push, 3) // expected-warning {{expected integer between 0 and 2 inclusive in '#pragma vtordisp' - ignored}}
16*67e74705SXin Li #pragma vtordisp()
17*67e74705SXin Li 
18*67e74705SXin Li #define ONE 1
19*67e74705SXin Li #pragma vtordisp(push, ONE)
20*67e74705SXin Li #define TWO 1
21*67e74705SXin Li #pragma vtordisp(push, TWO)
22*67e74705SXin Li 
23*67e74705SXin Li // Test a reset.
24*67e74705SXin Li #pragma vtordisp()
25*67e74705SXin Li #pragma vtordisp(pop) // stack should NOT be affected by reset.
26*67e74705SXin Li                       // Now stack contains '1'.
27*67e74705SXin Li 
28*67e74705SXin Li #pragma vtordisp(      // expected-warning {{unknown action for '#pragma vtordisp' - ignored}}
29*67e74705SXin Li #pragma vtordisp(asdf) // expected-warning {{unknown action for '#pragma vtordisp' - ignored}}
30*67e74705SXin Li #pragma vtordisp(,)    // expected-warning {{unknown action for '#pragma vtordisp' - ignored}}
31*67e74705SXin Li #pragma vtordisp       // expected-warning {{missing '(' after '#pragma vtordisp' - ignoring}}
32*67e74705SXin Li #pragma vtordisp(3)    // expected-warning {{expected integer between 0 and 2 inclusive in '#pragma vtordisp' - ignored}}
33*67e74705SXin Li #pragma vtordisp(), stuff // expected-warning {{extra tokens}}
34*67e74705SXin Li 
35*67e74705SXin Li struct C {
36*67e74705SXin Li #pragma vtordisp()
37*67e74705SXin Li   struct D : virtual A {
38*67e74705SXin Li   };
39*67e74705SXin Li };
40*67e74705SXin Li 
41*67e74705SXin Li struct E {
42*67e74705SXin Li   virtual ~E();
43*67e74705SXin Li   virtual void f();
44*67e74705SXin Li };
45*67e74705SXin Li 
46*67e74705SXin Li #pragma vtordisp(pop) // After this stack should be empty.
47*67e74705SXin Li #pragma vtordisp(pop) // expected-warning {{#pragma vtordisp(pop, ...) failed: stack empty}}
48*67e74705SXin Li 
g()49*67e74705SXin Li void g() {
50*67e74705SXin Li   #pragma vtordisp(push, 2)
51*67e74705SXin Li   struct F : virtual E {
52*67e74705SXin Li     virtual ~F();
53*67e74705SXin Li     virtual void f();
54*67e74705SXin Li   };
55*67e74705SXin Li }
56*67e74705SXin Li 
57*67e74705SXin Li #pragma vtordisp(pop) // OK because of local vtordisp(2) in g().
58*67e74705SXin Li 
59*67e74705SXin Li struct G {
fG60*67e74705SXin Li   void f() {
61*67e74705SXin Li     #pragma vtordisp(push, 2) // Method-local pragma - stack will be restored on exit.
62*67e74705SXin Li   }
63*67e74705SXin Li };
64*67e74705SXin Li 
65*67e74705SXin Li // Stack is restored on exit from G::f(), nothing to pop.
66*67e74705SXin Li #pragma vtordisp(pop) // expected-warning {{#pragma vtordisp(pop, ...) failed: stack empty}}
67*67e74705SXin Li 
g2()68*67e74705SXin Li int g2()
69*67e74705SXin Li // FIXME: Our implementation based on token insertion makes it impossible for
70*67e74705SXin Li // the pragma to appear everywhere we should support it.
71*67e74705SXin Li // #pragma vtordisp()
72*67e74705SXin Li {
73*67e74705SXin Li   return 0;
74*67e74705SXin Li }
75