1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127
|
// Copyright 2022 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
// The test relies on a 64bit target (test.py sets the triple explicitly).
#include "heap/stubs.h"
namespace blink {
class Object : public GarbageCollected<Object> {
void Trace(Visitor*) const {}
};
namespace {
struct DisallowNewWithPadding {
DISALLOW_NEW();
public:
virtual void Trace(Visitor* v) const {
v->Trace(a);
v->Trace(b);
}
// The plugin should warn that reordering would make sense here.
Member<Object> a;
void* raw;
Member<Object> b;
};
struct DisallowNewWithoutPadding {
DISALLOW_NEW();
public:
virtual void Trace(Visitor* v) const {
v->Trace(a);
v->Trace(b);
}
// The plugin shouldn't warn, e.g. reordering wouldn't eliminate padding.
Member<Object> a;
Member<Object> b;
void* raw;
};
// Don't warn for templates until instantiated.
template <class T>
struct DisallowNewWithPaddingTemplate {
DISALLOW_NEW();
public:
virtual void Trace(Visitor* v) const {
v->Trace(a);
v->Trace(b);
}
Member<Object> a;
void* raw;
Member<Object> b;
};
template struct DisallowNewWithPaddingTemplate<int>;
// A GarbageCollected class shall not be checked.
class GCed : GarbageCollected<GCed> {
void Trace(Visitor* v) const {
v->Trace(a);
v->Trace(b);
}
Member<Object> a;
void* raw;
Member<Object> b;
};
// Explicitly setting the alignment requirement on fields should disable the
// check.
struct DisallowNewWithExplicitAlignment {
DISALLOW_NEW();
void Trace(Visitor* v) const {
v->Trace(a);
v->Trace(b);
}
Member<Object> a;
void* raw;
alignas(32) Member<Object> b;
};
// Disable the check with classes containing bitfields.
struct DisallowNewWithBitfield {
DISALLOW_NEW();
void Trace(Visitor* v) const {
v->Trace(a);
v->Trace(b);
}
Member<Object> a;
void* raw;
int b1 : 1;
int b2 : 2;
Member<Object> b;
};
// Disable the check with classes containing [[no_unique_address]].
struct DisallowNewWithNoUniqueAddress {
DISALLOW_NEW();
class Empty {};
void Trace(Visitor* v) const {
v->Trace(a);
v->Trace(b);
}
Member<Object> a;
void* raw;
[[no_unique_address]] Empty empty;
Member<Object> b;
};
} // namespace
} // namespace blink
|