clang -cc1 -cc1 -triple amd64-unknown-openbsd7.0 -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name CGCXX.cpp -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model static -mframe-pointer=all -relaxed-aliasing -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/usr/src/gnu/usr.bin/clang/libclangCodeGen/obj -resource-dir /usr/local/lib/clang/13.0.0 -I /usr/src/gnu/usr.bin/clang/libclangCodeGen/../../../llvm/clang/include -I /usr/src/gnu/usr.bin/clang/libclangCodeGen/../../../llvm/llvm/include -I /usr/src/gnu/usr.bin/clang/libclangCodeGen/../include -I /usr/src/gnu/usr.bin/clang/libclangCodeGen/obj -I /usr/src/gnu/usr.bin/clang/libclangCodeGen/obj/../include -D NDEBUG -D __STDC_LIMIT_MACROS -D __STDC_CONSTANT_MACROS -D __STDC_FORMAT_MACROS -D LLVM_PREFIX="/usr" -internal-isystem /usr/include/c++/v1 -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -Wno-unused-parameter -Wwrite-strings -Wno-missing-field-initializers -Wno-long-long -Wno-comment -std=c++14 -fdeprecated-macro -fdebug-compilation-dir=/usr/src/gnu/usr.bin/clang/libclangCodeGen/obj -ferror-limit 19 -fvisibility-inlines-hidden -fwrapv -stack-protector 2 -fno-rtti -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-valloc -fno-builtin-free -fno-builtin-strdup -fno-builtin-strndup -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /home/ben/Projects/vmm/scan-build/2022-01-12-194120-40624-1 -x c++ /usr/src/gnu/usr.bin/clang/libclangCodeGen/../../../llvm/clang/lib/CodeGen/CGCXX.cpp
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 | |
9 | |
10 | |
11 | |
12 | |
13 | |
14 | |
15 | #include "CGCXXABI.h" |
16 | #include "CodeGenFunction.h" |
17 | #include "CodeGenModule.h" |
18 | #include "clang/AST/ASTContext.h" |
19 | #include "clang/AST/Attr.h" |
20 | #include "clang/AST/Decl.h" |
21 | #include "clang/AST/DeclCXX.h" |
22 | #include "clang/AST/DeclObjC.h" |
23 | #include "clang/AST/Mangle.h" |
24 | #include "clang/AST/RecordLayout.h" |
25 | #include "clang/AST/StmtCXX.h" |
26 | #include "clang/Basic/CodeGenOptions.h" |
27 | #include "llvm/ADT/StringExtras.h" |
28 | using namespace clang; |
29 | using namespace CodeGen; |
30 | |
31 | |
32 | |
33 | |
34 | bool CodeGenModule::TryEmitBaseDestructorAsAlias(const CXXDestructorDecl *D) { |
35 | if (!getCodeGenOpts().CXXCtorDtorAliases) |
36 | return true; |
37 | |
38 | |
39 | |
40 | if (getCodeGenOpts().OptimizationLevel == 0) |
41 | return true; |
42 | |
43 | |
44 | |
45 | if (getCodeGenOpts().SanitizeMemoryUseAfterDtor && |
46 | !D->getParent()->field_empty()) |
47 | return true; |
48 | |
49 | |
50 | |
51 | if (!D->hasTrivialBody()) |
52 | return true; |
53 | |
54 | const CXXRecordDecl *Class = D->getParent(); |
55 | |
56 | |
57 | |
58 | if (Class->mayInsertExtraPadding()) |
59 | return true; |
60 | |
61 | |
62 | if (Class->getNumVBases()) { |
63 | |
64 | |
65 | |
66 | return true; |
67 | } |
68 | |
69 | |
70 | |
71 | for (const auto *I : Class->fields()) |
72 | if (I->getType().isDestructedType()) |
73 | return true; |
74 | |
75 | |
76 | const CXXRecordDecl *UniqueBase = nullptr; |
77 | for (const auto &I : Class->bases()) { |
78 | |
79 | |
80 | if (I.isVirtual()) continue; |
81 | |
82 | |
83 | const auto *Base = |
84 | cast<CXXRecordDecl>(I.getType()->castAs<RecordType>()->getDecl()); |
85 | if (Base->hasTrivialDestructor()) continue; |
86 | |
87 | |
88 | |
89 | if (UniqueBase) return true; |
90 | UniqueBase = Base; |
91 | } |
92 | |
93 | |
94 | |
95 | |
96 | |
97 | if (!UniqueBase) |
98 | return true; |
99 | |
100 | |
101 | const ASTRecordLayout &ClassLayout = Context.getASTRecordLayout(Class); |
102 | if (!ClassLayout.getBaseClassOffset(UniqueBase).isZero()) |
103 | return true; |
104 | |
105 | |
106 | |
107 | const CXXDestructorDecl *BaseD = UniqueBase->getDestructor(); |
108 | if (BaseD->getType()->castAs<FunctionType>()->getCallConv() != |
109 | D->getType()->castAs<FunctionType>()->getCallConv()) |
110 | return true; |
111 | |
112 | GlobalDecl AliasDecl(D, Dtor_Base); |
113 | GlobalDecl TargetDecl(BaseD, Dtor_Base); |
114 | |
115 | |
116 | |
117 | llvm::GlobalValue::LinkageTypes Linkage = getFunctionLinkage(AliasDecl); |
118 | |
119 | |
120 | if (!llvm::GlobalAlias::isValidLinkage(Linkage)) |
121 | return true; |
122 | |
123 | llvm::GlobalValue::LinkageTypes TargetLinkage = |
124 | getFunctionLinkage(TargetDecl); |
125 | |
126 | |
127 | StringRef MangledName = getMangledName(AliasDecl); |
128 | llvm::GlobalValue *Entry = GetGlobalValue(MangledName); |
129 | if (Entry && !Entry->isDeclaration()) |
130 | return false; |
131 | if (Replacements.count(MangledName)) |
132 | return false; |
133 | |
134 | |
135 | llvm::Type *AliasValueType = getTypes().GetFunctionType(AliasDecl); |
136 | llvm::PointerType *AliasType = AliasValueType->getPointerTo(); |
137 | |
138 | |
139 | |
140 | |
141 | auto *Ref = cast<llvm::GlobalValue>(GetAddrOfGlobal(TargetDecl)); |
142 | llvm::Constant *Aliasee = Ref; |
143 | if (Ref->getType() != AliasType) |
144 | Aliasee = llvm::ConstantExpr::getBitCast(Ref, AliasType); |
145 | |
146 | |
147 | |
148 | if (llvm::GlobalValue::isDiscardableIfUnused(Linkage) && |
149 | !(TargetLinkage == llvm::GlobalValue::AvailableExternallyLinkage && |
150 | TargetDecl.getDecl()->hasAttr<AlwaysInlineAttr>())) { |
151 | |
152 | |
153 | |
154 | |
155 | |
156 | addReplacement(MangledName, Aliasee); |
157 | return false; |
158 | } |
159 | |
160 | |
161 | |
162 | |
163 | |
164 | |
165 | if (llvm::GlobalValue::isWeakForLinker(Linkage) && |
166 | getTriple().isOSBinFormatCOFF()) { |
167 | return true; |
168 | } |
169 | |
170 | |
171 | |
172 | |
173 | if (Ref->isDeclarationForLinker()) |
174 | return true; |
175 | |
176 | |
177 | |
178 | |
179 | |
180 | if (llvm::GlobalValue::isWeakForLinker(TargetLinkage)) |
181 | return true; |
182 | |
183 | |
184 | auto *Alias = llvm::GlobalAlias::create(AliasValueType, 0, Linkage, "", |
185 | Aliasee, &getModule()); |
186 | |
187 | |
188 | Alias->setUnnamedAddr(llvm::GlobalValue::UnnamedAddr::Global); |
189 | |
190 | |
191 | if (Entry) { |
192 | assert(Entry->getType() == AliasType && |
193 | "declaration exists with different type"); |
194 | Alias->takeName(Entry); |
195 | Entry->replaceAllUsesWith(Alias); |
196 | Entry->eraseFromParent(); |
197 | } else { |
198 | Alias->setName(MangledName); |
199 | } |
200 | |
201 | |
202 | SetCommonAttributes(AliasDecl, Alias); |
203 | |
204 | return false; |
205 | } |
206 | |
207 | llvm::Function *CodeGenModule::codegenCXXStructor(GlobalDecl GD) { |
208 | const CGFunctionInfo &FnInfo = getTypes().arrangeCXXStructorDeclaration(GD); |
209 | auto *Fn = cast<llvm::Function>( |
210 | getAddrOfCXXStructor(GD, &FnInfo, nullptr, |
211 | true, ForDefinition)); |
212 | |
213 | setFunctionLinkage(GD, Fn); |
214 | |
215 | CodeGenFunction(*this).GenerateCode(GD, Fn, FnInfo); |
216 | setNonAliasAttributes(GD, Fn); |
217 | SetLLVMFunctionAttributesForDefinition(cast<CXXMethodDecl>(GD.getDecl()), Fn); |
218 | return Fn; |
219 | } |
220 | |
221 | llvm::FunctionCallee CodeGenModule::getAddrAndTypeOfCXXStructor( |
222 | GlobalDecl GD, const CGFunctionInfo *FnInfo, llvm::FunctionType *FnType, |
223 | bool DontDefer, ForDefinition_t IsForDefinition) { |
224 | auto *MD = cast<CXXMethodDecl>(GD.getDecl()); |
225 | |
226 | if (isa<CXXDestructorDecl>(MD)) { |
227 | |
228 | |
229 | if (getTarget().getCXXABI().isMicrosoft() && |
230 | GD.getDtorType() == Dtor_Complete && |
231 | MD->getParent()->getNumVBases() == 0) |
232 | GD = GD.getWithDtorType(Dtor_Base); |
233 | } |
234 | |
235 | if (!FnType) { |
236 | if (!FnInfo) |
237 | FnInfo = &getTypes().arrangeCXXStructorDeclaration(GD); |
238 | FnType = getTypes().GetFunctionType(*FnInfo); |
239 | } |
240 | |
241 | llvm::Constant *Ptr = GetOrCreateLLVMFunction( |
242 | getMangledName(GD), FnType, GD, false, DontDefer, |
243 | false, llvm::AttributeList(), IsForDefinition); |
244 | return {FnType, Ptr}; |
245 | } |
246 | |
247 | static CGCallee BuildAppleKextVirtualCall(CodeGenFunction &CGF, |
248 | GlobalDecl GD, |
249 | llvm::Type *Ty, |
250 | const CXXRecordDecl *RD) { |
251 | assert(!CGF.CGM.getTarget().getCXXABI().isMicrosoft() && |
252 | "No kext in Microsoft ABI"); |
253 | CodeGenModule &CGM = CGF.CGM; |
254 | llvm::Value *VTable = CGM.getCXXABI().getAddrOfVTable(RD, CharUnits()); |
255 | Ty = Ty->getPointerTo(); |
256 | VTable = CGF.Builder.CreateBitCast(VTable, Ty->getPointerTo()); |
257 | assert(VTable && "BuildVirtualCall = kext vtbl pointer is null"); |
258 | uint64_t VTableIndex = CGM.getItaniumVTableContext().getMethodVTableIndex(GD); |
259 | const VTableLayout &VTLayout = CGM.getItaniumVTableContext().getVTableLayout(RD); |
260 | VTableLayout::AddressPointLocation AddressPoint = |
261 | VTLayout.getAddressPoint(BaseSubobject(RD, CharUnits::Zero())); |
262 | VTableIndex += VTLayout.getVTableOffset(AddressPoint.VTableIndex) + |
263 | AddressPoint.AddressPointIndex; |
264 | llvm::Value *VFuncPtr = |
265 | CGF.Builder.CreateConstInBoundsGEP1_64(Ty, VTable, VTableIndex, "vfnkxt"); |
266 | llvm::Value *VFunc = CGF.Builder.CreateAlignedLoad( |
267 | Ty, VFuncPtr, llvm::Align(CGF.PointerAlignInBytes)); |
268 | CGCallee Callee(GD, VFunc); |
269 | return Callee; |
270 | } |
271 | |
272 | |
273 | |
274 | |
275 | CGCallee |
276 | CodeGenFunction::BuildAppleKextVirtualCall(const CXXMethodDecl *MD, |
277 | NestedNameSpecifier *Qual, |
278 | llvm::Type *Ty) { |
279 | assert((Qual->getKind() == NestedNameSpecifier::TypeSpec) && |
280 | "BuildAppleKextVirtualCall - bad Qual kind"); |
281 | |
282 | const Type *QTy = Qual->getAsType(); |
283 | QualType T = QualType(QTy, 0); |
284 | const RecordType *RT = T->getAs<RecordType>(); |
| 1 | Assuming the object is not a 'RecordType' | |
|
| 2 | | 'RT' initialized to a null pointer value | |
|
285 | assert(RT && "BuildAppleKextVirtualCall - Qual type must be record"); |
286 | const auto *RD = cast<CXXRecordDecl>(RT->getDecl()); |
| 3 | | Called C++ object pointer is null |
|
287 | |
288 | if (const auto *DD = dyn_cast<CXXDestructorDecl>(MD)) |
289 | return BuildAppleKextVirtualDestructorCall(DD, Dtor_Complete, RD); |
290 | |
291 | return ::BuildAppleKextVirtualCall(*this, MD, Ty, RD); |
292 | } |
293 | |
294 | |
295 | |
296 | CGCallee |
297 | CodeGenFunction::BuildAppleKextVirtualDestructorCall( |
298 | const CXXDestructorDecl *DD, |
299 | CXXDtorType Type, |
300 | const CXXRecordDecl *RD) { |
301 | assert(DD->isVirtual() && Type != Dtor_Base); |
302 | |
303 | const CGFunctionInfo &FInfo = CGM.getTypes().arrangeCXXStructorDeclaration( |
304 | GlobalDecl(DD, Dtor_Complete)); |
305 | llvm::Type *Ty = CGM.getTypes().GetFunctionType(FInfo); |
306 | return ::BuildAppleKextVirtualCall(*this, GlobalDecl(DD, Type), Ty, RD); |
307 | } |