Bug Summary

File:llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp
Warning:line 451, column 22
The left operand of '==' is a garbage value

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name BitcodeAnalyzer.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 -analyzer-config-compatibility-mode=true -mrelocation-model pic -pic-level 2 -mframe-pointer=none -fmath-errno -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -ffunction-sections -fdata-sections -fcoverage-compilation-dir=/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/build-llvm -resource-dir /usr/lib/llvm-14/lib/clang/14.0.0 -D _DEBUG -D _GNU_SOURCE -D __STDC_CONSTANT_MACROS -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -I lib/Bitcode/Reader -I /build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/lib/Bitcode/Reader -I include -I /build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include -D NDEBUG -U NDEBUG -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/x86_64-linux-gnu/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/backward -internal-isystem /usr/lib/llvm-14/lib/clang/14.0.0/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O2 -Wno-unused-command-line-argument -Wno-unknown-warning-option -Wno-unused-parameter -Wwrite-strings -Wno-missing-field-initializers -Wno-long-long -Wno-maybe-uninitialized -Wno-class-memaccess -Wno-redundant-move -Wno-pessimizing-move -Wno-noexcept-type -Wno-comment -std=c++14 -fdeprecated-macro -fdebug-compilation-dir=/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/build-llvm -ferror-limit 19 -fvisibility-inlines-hidden -fgnuc-version=4.2.1 -fcolor-diagnostics -vectorize-loops -vectorize-slp -analyzer-output=html -analyzer-config stable-report-filename=true -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/scan-build-2021-10-26-013606-38228-1 -x c++ /build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp

/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp

1//===- BitcodeAnalyzer.cpp - Internal BitcodeAnalyzer implementation ------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#include "llvm/Bitcode/BitcodeAnalyzer.h"
10#include "llvm/Bitcode/BitcodeReader.h"
11#include "llvm/Bitcode/LLVMBitCodes.h"
12#include "llvm/Bitstream/BitCodes.h"
13#include "llvm/Bitstream/BitstreamReader.h"
14#include "llvm/Support/Format.h"
15#include "llvm/Support/SHA1.h"
16
17using namespace llvm;
18
19static Error reportError(StringRef Message) {
20 return createStringError(std::errc::illegal_byte_sequence, Message.data());
21}
22
23/// Return a symbolic block name if known, otherwise return null.
24static Optional<const char *> GetBlockName(unsigned BlockID,
25 const BitstreamBlockInfo &BlockInfo,
26 CurStreamTypeType CurStreamType) {
27 // Standard blocks for all bitcode files.
28 if (BlockID < bitc::FIRST_APPLICATION_BLOCKID) {
29 if (BlockID == bitc::BLOCKINFO_BLOCK_ID)
30 return "BLOCKINFO_BLOCK";
31 return None;
32 }
33
34 // Check to see if we have a blockinfo record for this block, with a name.
35 if (const BitstreamBlockInfo::BlockInfo *Info =
36 BlockInfo.getBlockInfo(BlockID)) {
37 if (!Info->Name.empty())
38 return Info->Name.c_str();
39 }
40
41 if (CurStreamType != LLVMIRBitstream)
42 return None;
43
44 switch (BlockID) {
45 default:
46 return None;
47 case bitc::OPERAND_BUNDLE_TAGS_BLOCK_ID:
48 return "OPERAND_BUNDLE_TAGS_BLOCK";
49 case bitc::MODULE_BLOCK_ID:
50 return "MODULE_BLOCK";
51 case bitc::PARAMATTR_BLOCK_ID:
52 return "PARAMATTR_BLOCK";
53 case bitc::PARAMATTR_GROUP_BLOCK_ID:
54 return "PARAMATTR_GROUP_BLOCK_ID";
55 case bitc::TYPE_BLOCK_ID_NEW:
56 return "TYPE_BLOCK_ID";
57 case bitc::CONSTANTS_BLOCK_ID:
58 return "CONSTANTS_BLOCK";
59 case bitc::FUNCTION_BLOCK_ID:
60 return "FUNCTION_BLOCK";
61 case bitc::IDENTIFICATION_BLOCK_ID:
62 return "IDENTIFICATION_BLOCK_ID";
63 case bitc::VALUE_SYMTAB_BLOCK_ID:
64 return "VALUE_SYMTAB";
65 case bitc::METADATA_BLOCK_ID:
66 return "METADATA_BLOCK";
67 case bitc::METADATA_KIND_BLOCK_ID:
68 return "METADATA_KIND_BLOCK";
69 case bitc::METADATA_ATTACHMENT_ID:
70 return "METADATA_ATTACHMENT_BLOCK";
71 case bitc::USELIST_BLOCK_ID:
72 return "USELIST_BLOCK_ID";
73 case bitc::GLOBALVAL_SUMMARY_BLOCK_ID:
74 return "GLOBALVAL_SUMMARY_BLOCK";
75 case bitc::FULL_LTO_GLOBALVAL_SUMMARY_BLOCK_ID:
76 return "FULL_LTO_GLOBALVAL_SUMMARY_BLOCK";
77 case bitc::MODULE_STRTAB_BLOCK_ID:
78 return "MODULE_STRTAB_BLOCK";
79 case bitc::STRTAB_BLOCK_ID:
80 return "STRTAB_BLOCK";
81 case bitc::SYMTAB_BLOCK_ID:
82 return "SYMTAB_BLOCK";
83 }
84}
85
86/// Return a symbolic code name if known, otherwise return null.
87static Optional<const char *> GetCodeName(unsigned CodeID, unsigned BlockID,
88 const BitstreamBlockInfo &BlockInfo,
89 CurStreamTypeType CurStreamType) {
90 // Standard blocks for all bitcode files.
91 if (BlockID < bitc::FIRST_APPLICATION_BLOCKID) {
92 if (BlockID == bitc::BLOCKINFO_BLOCK_ID) {
93 switch (CodeID) {
94 default:
95 return None;
96 case bitc::BLOCKINFO_CODE_SETBID:
97 return "SETBID";
98 case bitc::BLOCKINFO_CODE_BLOCKNAME:
99 return "BLOCKNAME";
100 case bitc::BLOCKINFO_CODE_SETRECORDNAME:
101 return "SETRECORDNAME";
102 }
103 }
104 return None;
105 }
106
107 // Check to see if we have a blockinfo record for this record, with a name.
108 if (const BitstreamBlockInfo::BlockInfo *Info =
109 BlockInfo.getBlockInfo(BlockID)) {
110 for (unsigned i = 0, e = Info->RecordNames.size(); i != e; ++i)
111 if (Info->RecordNames[i].first == CodeID)
112 return Info->RecordNames[i].second.c_str();
113 }
114
115 if (CurStreamType != LLVMIRBitstream)
116 return None;
117
118#define STRINGIFY_CODE(PREFIX, CODE) \
119 case bitc::PREFIX##_##CODE: \
120 return #CODE;
121 switch (BlockID) {
122 default:
123 return None;
124 case bitc::MODULE_BLOCK_ID:
125 switch (CodeID) {
126 default:
127 return None;
128 STRINGIFY_CODE(MODULE_CODE, VERSION)
129 STRINGIFY_CODE(MODULE_CODE, TRIPLE)
130 STRINGIFY_CODE(MODULE_CODE, DATALAYOUT)
131 STRINGIFY_CODE(MODULE_CODE, ASM)
132 STRINGIFY_CODE(MODULE_CODE, SECTIONNAME)
133 STRINGIFY_CODE(MODULE_CODE, DEPLIB) // Deprecated, present in old bitcode
134 STRINGIFY_CODE(MODULE_CODE, GLOBALVAR)
135 STRINGIFY_CODE(MODULE_CODE, FUNCTION)
136 STRINGIFY_CODE(MODULE_CODE, ALIAS)
137 STRINGIFY_CODE(MODULE_CODE, GCNAME)
138 STRINGIFY_CODE(MODULE_CODE, COMDAT)
139 STRINGIFY_CODE(MODULE_CODE, VSTOFFSET)
140 STRINGIFY_CODE(MODULE_CODE, METADATA_VALUES_UNUSED)
141 STRINGIFY_CODE(MODULE_CODE, SOURCE_FILENAME)
142 STRINGIFY_CODE(MODULE_CODE, HASH)
143 }
144 case bitc::IDENTIFICATION_BLOCK_ID:
145 switch (CodeID) {
146 default:
147 return None;
148 STRINGIFY_CODE(IDENTIFICATION_CODE, STRING)
149 STRINGIFY_CODE(IDENTIFICATION_CODE, EPOCH)
150 }
151 case bitc::PARAMATTR_BLOCK_ID:
152 switch (CodeID) {
153 default:
154 return None;
155 // FIXME: Should these be different?
156 case bitc::PARAMATTR_CODE_ENTRY_OLD:
157 return "ENTRY";
158 case bitc::PARAMATTR_CODE_ENTRY:
159 return "ENTRY";
160 }
161 case bitc::PARAMATTR_GROUP_BLOCK_ID:
162 switch (CodeID) {
163 default:
164 return None;
165 case bitc::PARAMATTR_GRP_CODE_ENTRY:
166 return "ENTRY";
167 }
168 case bitc::TYPE_BLOCK_ID_NEW:
169 switch (CodeID) {
170 default:
171 return None;
172 STRINGIFY_CODE(TYPE_CODE, NUMENTRY)
173 STRINGIFY_CODE(TYPE_CODE, VOID)
174 STRINGIFY_CODE(TYPE_CODE, FLOAT)
175 STRINGIFY_CODE(TYPE_CODE, DOUBLE)
176 STRINGIFY_CODE(TYPE_CODE, LABEL)
177 STRINGIFY_CODE(TYPE_CODE, OPAQUE)
178 STRINGIFY_CODE(TYPE_CODE, INTEGER)
179 STRINGIFY_CODE(TYPE_CODE, POINTER)
180 STRINGIFY_CODE(TYPE_CODE, HALF)
181 STRINGIFY_CODE(TYPE_CODE, ARRAY)
182 STRINGIFY_CODE(TYPE_CODE, VECTOR)
183 STRINGIFY_CODE(TYPE_CODE, X86_FP80)
184 STRINGIFY_CODE(TYPE_CODE, FP128)
185 STRINGIFY_CODE(TYPE_CODE, PPC_FP128)
186 STRINGIFY_CODE(TYPE_CODE, METADATA)
187 STRINGIFY_CODE(TYPE_CODE, X86_MMX)
188 STRINGIFY_CODE(TYPE_CODE, STRUCT_ANON)
189 STRINGIFY_CODE(TYPE_CODE, STRUCT_NAME)
190 STRINGIFY_CODE(TYPE_CODE, STRUCT_NAMED)
191 STRINGIFY_CODE(TYPE_CODE, FUNCTION)
192 STRINGIFY_CODE(TYPE_CODE, TOKEN)
193 STRINGIFY_CODE(TYPE_CODE, BFLOAT)
194 }
195
196 case bitc::CONSTANTS_BLOCK_ID:
197 switch (CodeID) {
198 default:
199 return None;
200 STRINGIFY_CODE(CST_CODE, SETTYPE)
201 STRINGIFY_CODE(CST_CODE, NULL__null)
202 STRINGIFY_CODE(CST_CODE, UNDEF)
203 STRINGIFY_CODE(CST_CODE, INTEGER)
204 STRINGIFY_CODE(CST_CODE, WIDE_INTEGER)
205 STRINGIFY_CODE(CST_CODE, FLOAT)
206 STRINGIFY_CODE(CST_CODE, AGGREGATE)
207 STRINGIFY_CODE(CST_CODE, STRING)
208 STRINGIFY_CODE(CST_CODE, CSTRING)
209 STRINGIFY_CODE(CST_CODE, CE_BINOP)
210 STRINGIFY_CODE(CST_CODE, CE_CAST)
211 STRINGIFY_CODE(CST_CODE, CE_GEP)
212 STRINGIFY_CODE(CST_CODE, CE_INBOUNDS_GEP)
213 STRINGIFY_CODE(CST_CODE, CE_SELECT)
214 STRINGIFY_CODE(CST_CODE, CE_EXTRACTELT)
215 STRINGIFY_CODE(CST_CODE, CE_INSERTELT)
216 STRINGIFY_CODE(CST_CODE, CE_SHUFFLEVEC)
217 STRINGIFY_CODE(CST_CODE, CE_CMP)
218 STRINGIFY_CODE(CST_CODE, INLINEASM)
219 STRINGIFY_CODE(CST_CODE, CE_SHUFVEC_EX)
220 STRINGIFY_CODE(CST_CODE, CE_UNOP)
221 STRINGIFY_CODE(CST_CODE, DSO_LOCAL_EQUIVALENT)
222 case bitc::CST_CODE_BLOCKADDRESS:
223 return "CST_CODE_BLOCKADDRESS";
224 STRINGIFY_CODE(CST_CODE, DATA)
225 }
226 case bitc::FUNCTION_BLOCK_ID:
227 switch (CodeID) {
228 default:
229 return None;
230 STRINGIFY_CODE(FUNC_CODE, DECLAREBLOCKS)
231 STRINGIFY_CODE(FUNC_CODE, INST_BINOP)
232 STRINGIFY_CODE(FUNC_CODE, INST_CAST)
233 STRINGIFY_CODE(FUNC_CODE, INST_GEP_OLD)
234 STRINGIFY_CODE(FUNC_CODE, INST_INBOUNDS_GEP_OLD)
235 STRINGIFY_CODE(FUNC_CODE, INST_SELECT)
236 STRINGIFY_CODE(FUNC_CODE, INST_EXTRACTELT)
237 STRINGIFY_CODE(FUNC_CODE, INST_INSERTELT)
238 STRINGIFY_CODE(FUNC_CODE, INST_SHUFFLEVEC)
239 STRINGIFY_CODE(FUNC_CODE, INST_CMP)
240 STRINGIFY_CODE(FUNC_CODE, INST_RET)
241 STRINGIFY_CODE(FUNC_CODE, INST_BR)
242 STRINGIFY_CODE(FUNC_CODE, INST_SWITCH)
243 STRINGIFY_CODE(FUNC_CODE, INST_INVOKE)
244 STRINGIFY_CODE(FUNC_CODE, INST_UNOP)
245 STRINGIFY_CODE(FUNC_CODE, INST_UNREACHABLE)
246 STRINGIFY_CODE(FUNC_CODE, INST_CLEANUPRET)
247 STRINGIFY_CODE(FUNC_CODE, INST_CATCHRET)
248 STRINGIFY_CODE(FUNC_CODE, INST_CATCHPAD)
249 STRINGIFY_CODE(FUNC_CODE, INST_PHI)
250 STRINGIFY_CODE(FUNC_CODE, INST_ALLOCA)
251 STRINGIFY_CODE(FUNC_CODE, INST_LOAD)
252 STRINGIFY_CODE(FUNC_CODE, INST_VAARG)
253 STRINGIFY_CODE(FUNC_CODE, INST_STORE)
254 STRINGIFY_CODE(FUNC_CODE, INST_EXTRACTVAL)
255 STRINGIFY_CODE(FUNC_CODE, INST_INSERTVAL)
256 STRINGIFY_CODE(FUNC_CODE, INST_CMP2)
257 STRINGIFY_CODE(FUNC_CODE, INST_VSELECT)
258 STRINGIFY_CODE(FUNC_CODE, DEBUG_LOC_AGAIN)
259 STRINGIFY_CODE(FUNC_CODE, INST_CALL)
260 STRINGIFY_CODE(FUNC_CODE, DEBUG_LOC)
261 STRINGIFY_CODE(FUNC_CODE, INST_GEP)
262 STRINGIFY_CODE(FUNC_CODE, OPERAND_BUNDLE)
263 STRINGIFY_CODE(FUNC_CODE, INST_FENCE)
264 STRINGIFY_CODE(FUNC_CODE, INST_ATOMICRMW)
265 STRINGIFY_CODE(FUNC_CODE, INST_LOADATOMIC)
266 STRINGIFY_CODE(FUNC_CODE, INST_STOREATOMIC)
267 STRINGIFY_CODE(FUNC_CODE, INST_CMPXCHG)
268 STRINGIFY_CODE(FUNC_CODE, INST_CALLBR)
269 }
270 case bitc::VALUE_SYMTAB_BLOCK_ID:
271 switch (CodeID) {
272 default:
273 return None;
274 STRINGIFY_CODE(VST_CODE, ENTRY)
275 STRINGIFY_CODE(VST_CODE, BBENTRY)
276 STRINGIFY_CODE(VST_CODE, FNENTRY)
277 STRINGIFY_CODE(VST_CODE, COMBINED_ENTRY)
278 }
279 case bitc::MODULE_STRTAB_BLOCK_ID:
280 switch (CodeID) {
281 default:
282 return None;
283 STRINGIFY_CODE(MST_CODE, ENTRY)
284 STRINGIFY_CODE(MST_CODE, HASH)
285 }
286 case bitc::GLOBALVAL_SUMMARY_BLOCK_ID:
287 case bitc::FULL_LTO_GLOBALVAL_SUMMARY_BLOCK_ID:
288 switch (CodeID) {
289 default:
290 return None;
291 STRINGIFY_CODE(FS, PERMODULE)
292 STRINGIFY_CODE(FS, PERMODULE_PROFILE)
293 STRINGIFY_CODE(FS, PERMODULE_RELBF)
294 STRINGIFY_CODE(FS, PERMODULE_GLOBALVAR_INIT_REFS)
295 STRINGIFY_CODE(FS, PERMODULE_VTABLE_GLOBALVAR_INIT_REFS)
296 STRINGIFY_CODE(FS, COMBINED)
297 STRINGIFY_CODE(FS, COMBINED_PROFILE)
298 STRINGIFY_CODE(FS, COMBINED_GLOBALVAR_INIT_REFS)
299 STRINGIFY_CODE(FS, ALIAS)
300 STRINGIFY_CODE(FS, COMBINED_ALIAS)
301 STRINGIFY_CODE(FS, COMBINED_ORIGINAL_NAME)
302 STRINGIFY_CODE(FS, VERSION)
303 STRINGIFY_CODE(FS, FLAGS)
304 STRINGIFY_CODE(FS, TYPE_TESTS)
305 STRINGIFY_CODE(FS, TYPE_TEST_ASSUME_VCALLS)
306 STRINGIFY_CODE(FS, TYPE_CHECKED_LOAD_VCALLS)
307 STRINGIFY_CODE(FS, TYPE_TEST_ASSUME_CONST_VCALL)
308 STRINGIFY_CODE(FS, TYPE_CHECKED_LOAD_CONST_VCALL)
309 STRINGIFY_CODE(FS, VALUE_GUID)
310 STRINGIFY_CODE(FS, CFI_FUNCTION_DEFS)
311 STRINGIFY_CODE(FS, CFI_FUNCTION_DECLS)
312 STRINGIFY_CODE(FS, TYPE_ID)
313 STRINGIFY_CODE(FS, TYPE_ID_METADATA)
314 STRINGIFY_CODE(FS, BLOCK_COUNT)
315 STRINGIFY_CODE(FS, PARAM_ACCESS)
316 }
317 case bitc::METADATA_ATTACHMENT_ID:
318 switch (CodeID) {
319 default:
320 return None;
321 STRINGIFY_CODE(METADATA, ATTACHMENT)
322 }
323 case bitc::METADATA_BLOCK_ID:
324 switch (CodeID) {
325 default:
326 return None;
327 STRINGIFY_CODE(METADATA, STRING_OLD)
328 STRINGIFY_CODE(METADATA, VALUE)
329 STRINGIFY_CODE(METADATA, NODE)
330 STRINGIFY_CODE(METADATA, NAME)
331 STRINGIFY_CODE(METADATA, DISTINCT_NODE)
332 STRINGIFY_CODE(METADATA, KIND) // Older bitcode has it in a MODULE_BLOCK
333 STRINGIFY_CODE(METADATA, LOCATION)
334 STRINGIFY_CODE(METADATA, OLD_NODE)
335 STRINGIFY_CODE(METADATA, OLD_FN_NODE)
336 STRINGIFY_CODE(METADATA, NAMED_NODE)
337 STRINGIFY_CODE(METADATA, GENERIC_DEBUG)
338 STRINGIFY_CODE(METADATA, SUBRANGE)
339 STRINGIFY_CODE(METADATA, ENUMERATOR)
340 STRINGIFY_CODE(METADATA, BASIC_TYPE)
341 STRINGIFY_CODE(METADATA, FILE)
342 STRINGIFY_CODE(METADATA, DERIVED_TYPE)
343 STRINGIFY_CODE(METADATA, COMPOSITE_TYPE)
344 STRINGIFY_CODE(METADATA, SUBROUTINE_TYPE)
345 STRINGIFY_CODE(METADATA, COMPILE_UNIT)
346 STRINGIFY_CODE(METADATA, SUBPROGRAM)
347 STRINGIFY_CODE(METADATA, LEXICAL_BLOCK)
348 STRINGIFY_CODE(METADATA, LEXICAL_BLOCK_FILE)
349 STRINGIFY_CODE(METADATA, NAMESPACE)
350 STRINGIFY_CODE(METADATA, TEMPLATE_TYPE)
351 STRINGIFY_CODE(METADATA, TEMPLATE_VALUE)
352 STRINGIFY_CODE(METADATA, GLOBAL_VAR)
353 STRINGIFY_CODE(METADATA, LOCAL_VAR)
354 STRINGIFY_CODE(METADATA, EXPRESSION)
355 STRINGIFY_CODE(METADATA, OBJC_PROPERTY)
356 STRINGIFY_CODE(METADATA, IMPORTED_ENTITY)
357 STRINGIFY_CODE(METADATA, MODULE)
358 STRINGIFY_CODE(METADATA, MACRO)
359 STRINGIFY_CODE(METADATA, MACRO_FILE)
360 STRINGIFY_CODE(METADATA, STRINGS)
361 STRINGIFY_CODE(METADATA, GLOBAL_DECL_ATTACHMENT)
362 STRINGIFY_CODE(METADATA, GLOBAL_VAR_EXPR)
363 STRINGIFY_CODE(METADATA, INDEX_OFFSET)
364 STRINGIFY_CODE(METADATA, INDEX)
365 STRINGIFY_CODE(METADATA, ARG_LIST)
366 }
367 case bitc::METADATA_KIND_BLOCK_ID:
368 switch (CodeID) {
369 default:
370 return None;
371 STRINGIFY_CODE(METADATA, KIND)
372 }
373 case bitc::USELIST_BLOCK_ID:
374 switch (CodeID) {
375 default:
376 return None;
377 case bitc::USELIST_CODE_DEFAULT:
378 return "USELIST_CODE_DEFAULT";
379 case bitc::USELIST_CODE_BB:
380 return "USELIST_CODE_BB";
381 }
382
383 case bitc::OPERAND_BUNDLE_TAGS_BLOCK_ID:
384 switch (CodeID) {
385 default:
386 return None;
387 case bitc::OPERAND_BUNDLE_TAG:
388 return "OPERAND_BUNDLE_TAG";
389 }
390 case bitc::STRTAB_BLOCK_ID:
391 switch (CodeID) {
392 default:
393 return None;
394 case bitc::STRTAB_BLOB:
395 return "BLOB";
396 }
397 case bitc::SYMTAB_BLOCK_ID:
398 switch (CodeID) {
399 default:
400 return None;
401 case bitc::SYMTAB_BLOB:
402 return "BLOB";
403 }
404 }
405#undef STRINGIFY_CODE
406}
407
408static void printSize(raw_ostream &OS, double Bits) {
409 OS << format("%.2f/%.2fB/%luW", Bits, Bits / 8, (unsigned long)(Bits / 32));
410}
411static void printSize(raw_ostream &OS, uint64_t Bits) {
412 OS << format("%lub/%.2fB/%luW", (unsigned long)Bits, (double)Bits / 8,
413 (unsigned long)(Bits / 32));
414}
415
416static Expected<CurStreamTypeType> ReadSignature(BitstreamCursor &Stream) {
417 auto tryRead = [&Stream](char &Dest, size_t size) -> Error {
418 if (Expected<SimpleBitstreamCursor::word_t> MaybeWord = Stream.Read(size))
5
Taking true branch
21
Taking false branch
419 Dest = MaybeWord.get();
420 else
421 return MaybeWord.takeError();
22
Returning without writing to 'Dest'
422 return Error::success();
423 };
424
425 char Signature[6];
426 if (Error Err = tryRead(Signature[0], 8))
4
Calling 'operator()'
6
Returning from 'operator()'
7
Calling 'Error::operator bool'
9
Returning from 'Error::operator bool'
10
Taking false branch
427 return std::move(Err);
428 if (Error Err = tryRead(Signature[1], 8))
11
Calling 'Error::operator bool'
13
Returning from 'Error::operator bool'
14
Taking false branch
429 return std::move(Err);
430
431 // Autodetect the file contents, if it is one we know.
432 if (Signature[0] == 'C' && Signature[1] == 'P') {
15
Assuming the condition is false
433 if (Error Err = tryRead(Signature[2], 8))
434 return std::move(Err);
435 if (Error Err = tryRead(Signature[3], 8))
436 return std::move(Err);
437 if (Signature[2] == 'C' && Signature[3] == 'H')
438 return ClangSerializedASTBitstream;
439 } else if (Signature[0] == 'D' && Signature[1] == 'I') {
16
Assuming the condition is false
440 if (Error Err = tryRead(Signature[2], 8))
441 return std::move(Err);
442 if (Error Err = tryRead(Signature[3], 8))
443 return std::move(Err);
444 if (Signature[2] == 'A' && Signature[3] == 'G')
445 return ClangSerializedDiagnosticsBitstream;
446 } else if (Signature[0] == 'R' && Signature[1] == 'M') {
17
Assuming the condition is true
18
Assuming the condition is true
19
Taking true branch
447 if (Error Err = tryRead(Signature[2], 8))
20
Calling 'operator()'
23
Returning from 'operator()'
24
Assuming the condition is false
25
Taking false branch
448 return std::move(Err);
449 if (Error Err = tryRead(Signature[3], 8))
26
Assuming the condition is false
27
Taking false branch
450 return std::move(Err);
451 if (Signature[2] == 'R' && Signature[3] == 'K')
28
The left operand of '==' is a garbage value
452 return LLVMBitstreamRemarks;
453 } else {
454 if (Error Err = tryRead(Signature[2], 4))
455 return std::move(Err);
456 if (Error Err = tryRead(Signature[3], 4))
457 return std::move(Err);
458 if (Error Err = tryRead(Signature[4], 4))
459 return std::move(Err);
460 if (Error Err = tryRead(Signature[5], 4))
461 return std::move(Err);
462 if (Signature[0] == 'B' && Signature[1] == 'C' && Signature[2] == 0x0 &&
463 Signature[3] == 0xC && Signature[4] == 0xE && Signature[5] == 0xD)
464 return LLVMIRBitstream;
465 }
466 return UnknownBitstream;
467}
468
469static Expected<CurStreamTypeType> analyzeHeader(Optional<BCDumpOptions> O,
470 BitstreamCursor &Stream) {
471 ArrayRef<uint8_t> Bytes = Stream.getBitcodeBytes();
472 const unsigned char *BufPtr = (const unsigned char *)Bytes.data();
473 const unsigned char *EndBufPtr = BufPtr + Bytes.size();
474
475 // If we have a wrapper header, parse it and ignore the non-bc file
476 // contents. The magic number is 0x0B17C0DE stored in little endian.
477 if (isBitcodeWrapper(BufPtr, EndBufPtr)) {
2
Taking false branch
478 if (Bytes.size() < BWH_HeaderSize)
479 return reportError("Invalid bitcode wrapper header");
480
481 if (O) {
482 unsigned Magic = support::endian::read32le(&BufPtr[BWH_MagicField]);
483 unsigned Version = support::endian::read32le(&BufPtr[BWH_VersionField]);
484 unsigned Offset = support::endian::read32le(&BufPtr[BWH_OffsetField]);
485 unsigned Size = support::endian::read32le(&BufPtr[BWH_SizeField]);
486 unsigned CPUType = support::endian::read32le(&BufPtr[BWH_CPUTypeField]);
487
488 O->OS << "<BITCODE_WRAPPER_HEADER"
489 << " Magic=" << format_hex(Magic, 10)
490 << " Version=" << format_hex(Version, 10)
491 << " Offset=" << format_hex(Offset, 10)
492 << " Size=" << format_hex(Size, 10)
493 << " CPUType=" << format_hex(CPUType, 10) << "/>\n";
494 }
495
496 if (SkipBitcodeWrapperHeader(BufPtr, EndBufPtr, true))
497 return reportError("Invalid bitcode wrapper header");
498 }
499
500 // Use the cursor modified by skipping the wrapper header.
501 Stream = BitstreamCursor(ArrayRef<uint8_t>(BufPtr, EndBufPtr));
502
503 return ReadSignature(Stream);
3
Calling 'ReadSignature'
504}
505
506static bool canDecodeBlob(unsigned Code, unsigned BlockID) {
507 return BlockID == bitc::METADATA_BLOCK_ID && Code == bitc::METADATA_STRINGS;
508}
509
510Error BitcodeAnalyzer::decodeMetadataStringsBlob(StringRef Indent,
511 ArrayRef<uint64_t> Record,
512 StringRef Blob,
513 raw_ostream &OS) {
514 if (Blob.empty())
515 return reportError("Cannot decode empty blob.");
516
517 if (Record.size() != 2)
518 return reportError(
519 "Decoding metadata strings blob needs two record entries.");
520
521 unsigned NumStrings = Record[0];
522 unsigned StringsOffset = Record[1];
523 OS << " num-strings = " << NumStrings << " {\n";
524
525 StringRef Lengths = Blob.slice(0, StringsOffset);
526 SimpleBitstreamCursor R(Lengths);
527 StringRef Strings = Blob.drop_front(StringsOffset);
528 do {
529 if (R.AtEndOfStream())
530 return reportError("bad length");
531
532 Expected<uint32_t> MaybeSize = R.ReadVBR(6);
533 if (!MaybeSize)
534 return MaybeSize.takeError();
535 uint32_t Size = MaybeSize.get();
536 if (Strings.size() < Size)
537 return reportError("truncated chars");
538
539 OS << Indent << " '";
540 OS.write_escaped(Strings.slice(0, Size), /*hex=*/true);
541 OS << "'\n";
542 Strings = Strings.drop_front(Size);
543 } while (--NumStrings);
544
545 OS << Indent << " }";
546 return Error::success();
547}
548
549BitcodeAnalyzer::BitcodeAnalyzer(StringRef Buffer,
550 Optional<StringRef> BlockInfoBuffer)
551 : Stream(Buffer) {
552 if (BlockInfoBuffer)
553 BlockInfoStream.emplace(*BlockInfoBuffer);
554}
555
556Error BitcodeAnalyzer::analyze(Optional<BCDumpOptions> O,
557 Optional<StringRef> CheckHash) {
558 Expected<CurStreamTypeType> MaybeType = analyzeHeader(O, Stream);
1
Calling 'analyzeHeader'
559 if (!MaybeType)
560 return MaybeType.takeError();
561 else
562 CurStreamType = *MaybeType;
563
564 Stream.setBlockInfo(&BlockInfo);
565
566 // Read block info from BlockInfoStream, if specified.
567 // The block info must be a top-level block.
568 if (BlockInfoStream) {
569 BitstreamCursor BlockInfoCursor(*BlockInfoStream);
570 Expected<CurStreamTypeType> H = analyzeHeader(O, BlockInfoCursor);
571 if (!H)
572 return H.takeError();
573
574 while (!BlockInfoCursor.AtEndOfStream()) {
575 Expected<unsigned> MaybeCode = BlockInfoCursor.ReadCode();
576 if (!MaybeCode)
577 return MaybeCode.takeError();
578 if (MaybeCode.get() != bitc::ENTER_SUBBLOCK)
579 return reportError("Invalid record at top-level in block info file");
580
581 Expected<unsigned> MaybeBlockID = BlockInfoCursor.ReadSubBlockID();
582 if (!MaybeBlockID)
583 return MaybeBlockID.takeError();
584 if (MaybeBlockID.get() == bitc::BLOCKINFO_BLOCK_ID) {
585 Expected<Optional<BitstreamBlockInfo>> MaybeNewBlockInfo =
586 BlockInfoCursor.ReadBlockInfoBlock(/*ReadBlockInfoNames=*/true);
587 if (!MaybeNewBlockInfo)
588 return MaybeNewBlockInfo.takeError();
589 Optional<BitstreamBlockInfo> NewBlockInfo =
590 std::move(MaybeNewBlockInfo.get());
591 if (!NewBlockInfo)
592 return reportError("Malformed BlockInfoBlock in block info file");
593 BlockInfo = std::move(*NewBlockInfo);
594 break;
595 }
596
597 if (Error Err = BlockInfoCursor.SkipBlock())
598 return Err;
599 }
600 }
601
602 // Parse the top-level structure. We only allow blocks at the top-level.
603 while (!Stream.AtEndOfStream()) {
604 Expected<unsigned> MaybeCode = Stream.ReadCode();
605 if (!MaybeCode)
606 return MaybeCode.takeError();
607 if (MaybeCode.get() != bitc::ENTER_SUBBLOCK)
608 return reportError("Invalid record at top-level");
609
610 Expected<unsigned> MaybeBlockID = Stream.ReadSubBlockID();
611 if (!MaybeBlockID)
612 return MaybeBlockID.takeError();
613
614 if (Error E = parseBlock(MaybeBlockID.get(), 0, O, CheckHash))
615 return E;
616 ++NumTopBlocks;
617 }
618
619 return Error::success();
620}
621
622void BitcodeAnalyzer::printStats(BCDumpOptions O,
623 Optional<StringRef> Filename) {
624 uint64_t BufferSizeBits = Stream.getBitcodeBytes().size() * CHAR_BIT8;
625 // Print a summary of the read file.
626 O.OS << "Summary ";
627 if (Filename)
628 O.OS << "of " << Filename->data() << ":\n";
629 O.OS << " Total size: ";
630 printSize(O.OS, BufferSizeBits);
631 O.OS << "\n";
632 O.OS << " Stream type: ";
633 switch (CurStreamType) {
634 case UnknownBitstream:
635 O.OS << "unknown\n";
636 break;
637 case LLVMIRBitstream:
638 O.OS << "LLVM IR\n";
639 break;
640 case ClangSerializedASTBitstream:
641 O.OS << "Clang Serialized AST\n";
642 break;
643 case ClangSerializedDiagnosticsBitstream:
644 O.OS << "Clang Serialized Diagnostics\n";
645 break;
646 case LLVMBitstreamRemarks:
647 O.OS << "LLVM Remarks\n";
648 break;
649 }
650 O.OS << " # Toplevel Blocks: " << NumTopBlocks << "\n";
651 O.OS << "\n";
652
653 // Emit per-block stats.
654 O.OS << "Per-block Summary:\n";
655 for (std::map<unsigned, PerBlockIDStats>::iterator I = BlockIDStats.begin(),
656 E = BlockIDStats.end();
657 I != E; ++I) {
658 O.OS << " Block ID #" << I->first;
659 if (Optional<const char *> BlockName =
660 GetBlockName(I->first, BlockInfo, CurStreamType))
661 O.OS << " (" << *BlockName << ")";
662 O.OS << ":\n";
663
664 const PerBlockIDStats &Stats = I->second;
665 O.OS << " Num Instances: " << Stats.NumInstances << "\n";
666 O.OS << " Total Size: ";
667 printSize(O.OS, Stats.NumBits);
668 O.OS << "\n";
669 double pct = (Stats.NumBits * 100.0) / BufferSizeBits;
670 O.OS << " Percent of file: " << format("%2.4f%%", pct) << "\n";
671 if (Stats.NumInstances > 1) {
672 O.OS << " Average Size: ";
673 printSize(O.OS, Stats.NumBits / (double)Stats.NumInstances);
674 O.OS << "\n";
675 O.OS << " Tot/Avg SubBlocks: " << Stats.NumSubBlocks << "/"
676 << Stats.NumSubBlocks / (double)Stats.NumInstances << "\n";
677 O.OS << " Tot/Avg Abbrevs: " << Stats.NumAbbrevs << "/"
678 << Stats.NumAbbrevs / (double)Stats.NumInstances << "\n";
679 O.OS << " Tot/Avg Records: " << Stats.NumRecords << "/"
680 << Stats.NumRecords / (double)Stats.NumInstances << "\n";
681 } else {
682 O.OS << " Num SubBlocks: " << Stats.NumSubBlocks << "\n";
683 O.OS << " Num Abbrevs: " << Stats.NumAbbrevs << "\n";
684 O.OS << " Num Records: " << Stats.NumRecords << "\n";
685 }
686 if (Stats.NumRecords) {
687 double pct = (Stats.NumAbbreviatedRecords * 100.0) / Stats.NumRecords;
688 O.OS << " Percent Abbrevs: " << format("%2.4f%%", pct) << "\n";
689 }
690 O.OS << "\n";
691
692 // Print a histogram of the codes we see.
693 if (O.Histogram && !Stats.CodeFreq.empty()) {
694 std::vector<std::pair<unsigned, unsigned>> FreqPairs; // <freq,code>
695 for (unsigned i = 0, e = Stats.CodeFreq.size(); i != e; ++i)
696 if (unsigned Freq = Stats.CodeFreq[i].NumInstances)
697 FreqPairs.push_back(std::make_pair(Freq, i));
698 llvm::stable_sort(FreqPairs);
699 std::reverse(FreqPairs.begin(), FreqPairs.end());
700
701 O.OS << "\tRecord Histogram:\n";
702 O.OS << "\t\t Count # Bits b/Rec % Abv Record Kind\n";
703 for (unsigned i = 0, e = FreqPairs.size(); i != e; ++i) {
704 const PerRecordStats &RecStats = Stats.CodeFreq[FreqPairs[i].second];
705
706 O.OS << format("\t\t%7d %9lu", RecStats.NumInstances,
707 (unsigned long)RecStats.TotalBits);
708
709 if (RecStats.NumInstances > 1)
710 O.OS << format(" %9.1f",
711 (double)RecStats.TotalBits / RecStats.NumInstances);
712 else
713 O.OS << " ";
714
715 if (RecStats.NumAbbrev)
716 O.OS << format(" %7.2f", (double)RecStats.NumAbbrev /
717 RecStats.NumInstances * 100);
718 else
719 O.OS << " ";
720
721 O.OS << " ";
722 if (Optional<const char *> CodeName = GetCodeName(
723 FreqPairs[i].second, I->first, BlockInfo, CurStreamType))
724 O.OS << *CodeName << "\n";
725 else
726 O.OS << "UnknownCode" << FreqPairs[i].second << "\n";
727 }
728 O.OS << "\n";
729 }
730 }
731}
732
733Error BitcodeAnalyzer::parseBlock(unsigned BlockID, unsigned IndentLevel,
734 Optional<BCDumpOptions> O,
735 Optional<StringRef> CheckHash) {
736 std::string Indent(IndentLevel * 2, ' ');
737 uint64_t BlockBitStart = Stream.GetCurrentBitNo();
738
739 // Get the statistics for this BlockID.
740 PerBlockIDStats &BlockStats = BlockIDStats[BlockID];
741
742 BlockStats.NumInstances++;
743
744 // BLOCKINFO is a special part of the stream.
745 bool DumpRecords = O.hasValue();
746 if (BlockID == bitc::BLOCKINFO_BLOCK_ID) {
747 if (O && !O->DumpBlockinfo)
748 O->OS << Indent << "<BLOCKINFO_BLOCK/>\n";
749 Expected<Optional<BitstreamBlockInfo>> MaybeNewBlockInfo =
750 Stream.ReadBlockInfoBlock(/*ReadBlockInfoNames=*/true);
751 if (!MaybeNewBlockInfo)
752 return MaybeNewBlockInfo.takeError();
753 Optional<BitstreamBlockInfo> NewBlockInfo =
754 std::move(MaybeNewBlockInfo.get());
755 if (!NewBlockInfo)
756 return reportError("Malformed BlockInfoBlock");
757 BlockInfo = std::move(*NewBlockInfo);
758 if (Error Err = Stream.JumpToBit(BlockBitStart))
759 return Err;
760 // It's not really interesting to dump the contents of the blockinfo
761 // block, so only do it if the user explicitly requests it.
762 DumpRecords = O && O->DumpBlockinfo;
763 }
764
765 unsigned NumWords = 0;
766 if (Error Err = Stream.EnterSubBlock(BlockID, &NumWords))
767 return Err;
768
769 // Keep it for later, when we see a MODULE_HASH record
770 uint64_t BlockEntryPos = Stream.getCurrentByteNo();
771
772 Optional<const char *> BlockName = None;
773 if (DumpRecords) {
774 O->OS << Indent << "<";
775 if ((BlockName = GetBlockName(BlockID, BlockInfo, CurStreamType)))
776 O->OS << *BlockName;
777 else
778 O->OS << "UnknownBlock" << BlockID;
779
780 if (!O->Symbolic && BlockName)
781 O->OS << " BlockID=" << BlockID;
782
783 O->OS << " NumWords=" << NumWords
784 << " BlockCodeSize=" << Stream.getAbbrevIDWidth() << ">\n";
785 }
786
787 SmallVector<uint64_t, 64> Record;
788
789 // Keep the offset to the metadata index if seen.
790 uint64_t MetadataIndexOffset = 0;
791
792 // Read all the records for this block.
793 while (1) {
794 if (Stream.AtEndOfStream())
795 return reportError("Premature end of bitstream");
796
797 uint64_t RecordStartBit = Stream.GetCurrentBitNo();
798
799 Expected<BitstreamEntry> MaybeEntry =
800 Stream.advance(BitstreamCursor::AF_DontAutoprocessAbbrevs);
801 if (!MaybeEntry)
802 return MaybeEntry.takeError();
803 BitstreamEntry Entry = MaybeEntry.get();
804
805 switch (Entry.Kind) {
806 case BitstreamEntry::Error:
807 return reportError("malformed bitcode file");
808 case BitstreamEntry::EndBlock: {
809 uint64_t BlockBitEnd = Stream.GetCurrentBitNo();
810 BlockStats.NumBits += BlockBitEnd - BlockBitStart;
811 if (DumpRecords) {
812 O->OS << Indent << "</";
813 if (BlockName)
814 O->OS << *BlockName << ">\n";
815 else
816 O->OS << "UnknownBlock" << BlockID << ">\n";
817 }
818 return Error::success();
819 }
820
821 case BitstreamEntry::SubBlock: {
822 uint64_t SubBlockBitStart = Stream.GetCurrentBitNo();
823 if (Error E = parseBlock(Entry.ID, IndentLevel + 1, O, CheckHash))
824 return E;
825 ++BlockStats.NumSubBlocks;
826 uint64_t SubBlockBitEnd = Stream.GetCurrentBitNo();
827
828 // Don't include subblock sizes in the size of this block.
829 BlockBitStart += SubBlockBitEnd - SubBlockBitStart;
830 continue;
831 }
832 case BitstreamEntry::Record:
833 // The interesting case.
834 break;
835 }
836
837 if (Entry.ID == bitc::DEFINE_ABBREV) {
838 if (Error Err = Stream.ReadAbbrevRecord())
839 return Err;
840 ++BlockStats.NumAbbrevs;
841 continue;
842 }
843
844 Record.clear();
845
846 ++BlockStats.NumRecords;
847
848 StringRef Blob;
849 uint64_t CurrentRecordPos = Stream.GetCurrentBitNo();
850 Expected<unsigned> MaybeCode = Stream.readRecord(Entry.ID, Record, &Blob);
851 if (!MaybeCode)
852 return MaybeCode.takeError();
853 unsigned Code = MaybeCode.get();
854
855 // Increment the # occurrences of this code.
856 if (BlockStats.CodeFreq.size() <= Code)
857 BlockStats.CodeFreq.resize(Code + 1);
858 BlockStats.CodeFreq[Code].NumInstances++;
859 BlockStats.CodeFreq[Code].TotalBits +=
860 Stream.GetCurrentBitNo() - RecordStartBit;
861 if (Entry.ID != bitc::UNABBREV_RECORD) {
862 BlockStats.CodeFreq[Code].NumAbbrev++;
863 ++BlockStats.NumAbbreviatedRecords;
864 }
865
866 if (DumpRecords) {
867 O->OS << Indent << " <";
868 Optional<const char *> CodeName =
869 GetCodeName(Code, BlockID, BlockInfo, CurStreamType);
870 if (CodeName)
871 O->OS << *CodeName;
872 else
873 O->OS << "UnknownCode" << Code;
874 if (!O->Symbolic && CodeName)
875 O->OS << " codeid=" << Code;
876 const BitCodeAbbrev *Abbv = nullptr;
877 if (Entry.ID != bitc::UNABBREV_RECORD) {
878 Abbv = Stream.getAbbrev(Entry.ID);
879 O->OS << " abbrevid=" << Entry.ID;
880 }
881
882 for (unsigned i = 0, e = Record.size(); i != e; ++i)
883 O->OS << " op" << i << "=" << (int64_t)Record[i];
884
885 // If we found a metadata index, let's verify that we had an offset
886 // before and validate its forward reference offset was correct!
887 if (BlockID == bitc::METADATA_BLOCK_ID) {
888 if (Code == bitc::METADATA_INDEX_OFFSET) {
889 if (Record.size() != 2)
890 O->OS << "(Invalid record)";
891 else {
892 auto Offset = Record[0] + (Record[1] << 32);
893 MetadataIndexOffset = Stream.GetCurrentBitNo() + Offset;
894 }
895 }
896 if (Code == bitc::METADATA_INDEX) {
897 O->OS << " (offset ";
898 if (MetadataIndexOffset == RecordStartBit)
899 O->OS << "match)";
900 else
901 O->OS << "mismatch: " << MetadataIndexOffset << " vs "
902 << RecordStartBit << ")";
903 }
904 }
905
906 // If we found a module hash, let's verify that it matches!
907 if (BlockID == bitc::MODULE_BLOCK_ID && Code == bitc::MODULE_CODE_HASH &&
908 CheckHash.hasValue()) {
909 if (Record.size() != 5)
910 O->OS << " (invalid)";
911 else {
912 // Recompute the hash and compare it to the one in the bitcode
913 SHA1 Hasher;
914 StringRef Hash;
915 Hasher.update(*CheckHash);
916 {
917 int BlockSize = (CurrentRecordPos / 8) - BlockEntryPos;
918 auto Ptr = Stream.getPointerToByte(BlockEntryPos, BlockSize);
919 Hasher.update(ArrayRef<uint8_t>(Ptr, BlockSize));
920 Hash = Hasher.result();
921 }
922 std::array<char, 20> RecordedHash;
923 int Pos = 0;
924 for (auto &Val : Record) {
925 assert(!(Val >> 32) && "Unexpected high bits set")(static_cast <bool> (!(Val >> 32) && "Unexpected high bits set"
) ? void (0) : __assert_fail ("!(Val >> 32) && \"Unexpected high bits set\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp"
, 925, __extension__ __PRETTY_FUNCTION__))
;
926 support::endian::write32be(&RecordedHash[Pos], Val);
927 Pos += 4;
928 }
929 if (Hash == StringRef(RecordedHash.data(), RecordedHash.size()))
930 O->OS << " (match)";
931 else
932 O->OS << " (!mismatch!)";
933 }
934 }
935
936 O->OS << "/>";
937
938 if (Abbv) {
939 for (unsigned i = 1, e = Abbv->getNumOperandInfos(); i != e; ++i) {
940 const BitCodeAbbrevOp &Op = Abbv->getOperandInfo(i);
941 if (!Op.isEncoding() || Op.getEncoding() != BitCodeAbbrevOp::Array)
942 continue;
943 assert(i + 2 == e && "Array op not second to last")(static_cast <bool> (i + 2 == e && "Array op not second to last"
) ? void (0) : __assert_fail ("i + 2 == e && \"Array op not second to last\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp"
, 943, __extension__ __PRETTY_FUNCTION__))
;
944 std::string Str;
945 bool ArrayIsPrintable = true;
946 for (unsigned j = i - 1, je = Record.size(); j != je; ++j) {
947 if (!isPrint(static_cast<unsigned char>(Record[j]))) {
948 ArrayIsPrintable = false;
949 break;
950 }
951 Str += (char)Record[j];
952 }
953 if (ArrayIsPrintable)
954 O->OS << " record string = '" << Str << "'";
955 break;
956 }
957 }
958
959 if (Blob.data()) {
960 if (canDecodeBlob(Code, BlockID)) {
961 if (Error E = decodeMetadataStringsBlob(Indent, Record, Blob, O->OS))
962 return E;
963 } else {
964 O->OS << " blob data = ";
965 if (O->ShowBinaryBlobs) {
966 O->OS << "'";
967 O->OS.write_escaped(Blob, /*hex=*/true) << "'";
968 } else {
969 bool BlobIsPrintable = true;
970 for (unsigned i = 0, e = Blob.size(); i != e; ++i)
971 if (!isPrint(static_cast<unsigned char>(Blob[i]))) {
972 BlobIsPrintable = false;
973 break;
974 }
975
976 if (BlobIsPrintable)
977 O->OS << "'" << Blob << "'";
978 else
979 O->OS << "unprintable, " << Blob.size() << " bytes.";
980 }
981 }
982 }
983
984 O->OS << "\n";
985 }
986
987 // Make sure that we can skip the current record.
988 if (Error Err = Stream.JumpToBit(CurrentRecordPos))
989 return Err;
990 if (Expected<unsigned> Skipped = Stream.skipRecord(Entry.ID))
991 ; // Do nothing.
992 else
993 return Skipped.takeError();
994 }
995}
996

/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h

1//===- llvm/Support/Error.h - Recoverable error handling --------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file defines an API used to report recoverable errors.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_SUPPORT_ERROR_H
14#define LLVM_SUPPORT_ERROR_H
15
16#include "llvm-c/Error.h"
17#include "llvm/ADT/STLExtras.h"
18#include "llvm/ADT/SmallVector.h"
19#include "llvm/ADT/StringExtras.h"
20#include "llvm/ADT/Twine.h"
21#include "llvm/Config/abi-breaking.h"
22#include "llvm/Support/AlignOf.h"
23#include "llvm/Support/Compiler.h"
24#include "llvm/Support/Debug.h"
25#include "llvm/Support/ErrorHandling.h"
26#include "llvm/Support/ErrorOr.h"
27#include "llvm/Support/Format.h"
28#include "llvm/Support/raw_ostream.h"
29#include <algorithm>
30#include <cassert>
31#include <cstdint>
32#include <cstdlib>
33#include <functional>
34#include <memory>
35#include <new>
36#include <string>
37#include <system_error>
38#include <type_traits>
39#include <utility>
40#include <vector>
41
42namespace llvm {
43
44class ErrorSuccess;
45
46/// Base class for error info classes. Do not extend this directly: Extend
47/// the ErrorInfo template subclass instead.
48class ErrorInfoBase {
49public:
50 virtual ~ErrorInfoBase() = default;
51
52 /// Print an error message to an output stream.
53 virtual void log(raw_ostream &OS) const = 0;
54
55 /// Return the error message as a string.
56 virtual std::string message() const {
57 std::string Msg;
58 raw_string_ostream OS(Msg);
59 log(OS);
60 return OS.str();
61 }
62
63 /// Convert this error to a std::error_code.
64 ///
65 /// This is a temporary crutch to enable interaction with code still
66 /// using std::error_code. It will be removed in the future.
67 virtual std::error_code convertToErrorCode() const = 0;
68
69 // Returns the class ID for this type.
70 static const void *classID() { return &ID; }
71
72 // Returns the class ID for the dynamic type of this ErrorInfoBase instance.
73 virtual const void *dynamicClassID() const = 0;
74
75 // Check whether this instance is a subclass of the class identified by
76 // ClassID.
77 virtual bool isA(const void *const ClassID) const {
78 return ClassID == classID();
79 }
80
81 // Check whether this instance is a subclass of ErrorInfoT.
82 template <typename ErrorInfoT> bool isA() const {
83 return isA(ErrorInfoT::classID());
84 }
85
86private:
87 virtual void anchor();
88
89 static char ID;
90};
91
92/// Lightweight error class with error context and mandatory checking.
93///
94/// Instances of this class wrap a ErrorInfoBase pointer. Failure states
95/// are represented by setting the pointer to a ErrorInfoBase subclass
96/// instance containing information describing the failure. Success is
97/// represented by a null pointer value.
98///
99/// Instances of Error also contains a 'Checked' flag, which must be set
100/// before the destructor is called, otherwise the destructor will trigger a
101/// runtime error. This enforces at runtime the requirement that all Error
102/// instances be checked or returned to the caller.
103///
104/// There are two ways to set the checked flag, depending on what state the
105/// Error instance is in. For Error instances indicating success, it
106/// is sufficient to invoke the boolean conversion operator. E.g.:
107///
108/// @code{.cpp}
109/// Error foo(<...>);
110///
111/// if (auto E = foo(<...>))
112/// return E; // <- Return E if it is in the error state.
113/// // We have verified that E was in the success state. It can now be safely
114/// // destroyed.
115/// @endcode
116///
117/// A success value *can not* be dropped. For example, just calling 'foo(<...>)'
118/// without testing the return value will raise a runtime error, even if foo
119/// returns success.
120///
121/// For Error instances representing failure, you must use either the
122/// handleErrors or handleAllErrors function with a typed handler. E.g.:
123///
124/// @code{.cpp}
125/// class MyErrorInfo : public ErrorInfo<MyErrorInfo> {
126/// // Custom error info.
127/// };
128///
129/// Error foo(<...>) { return make_error<MyErrorInfo>(...); }
130///
131/// auto E = foo(<...>); // <- foo returns failure with MyErrorInfo.
132/// auto NewE =
133/// handleErrors(E,
134/// [](const MyErrorInfo &M) {
135/// // Deal with the error.
136/// },
137/// [](std::unique_ptr<OtherError> M) -> Error {
138/// if (canHandle(*M)) {
139/// // handle error.
140/// return Error::success();
141/// }
142/// // Couldn't handle this error instance. Pass it up the stack.
143/// return Error(std::move(M));
144/// );
145/// // Note - we must check or return NewE in case any of the handlers
146/// // returned a new error.
147/// @endcode
148///
149/// The handleAllErrors function is identical to handleErrors, except
150/// that it has a void return type, and requires all errors to be handled and
151/// no new errors be returned. It prevents errors (assuming they can all be
152/// handled) from having to be bubbled all the way to the top-level.
153///
154/// *All* Error instances must be checked before destruction, even if
155/// they're moved-assigned or constructed from Success values that have already
156/// been checked. This enforces checking through all levels of the call stack.
157class LLVM_NODISCARD[[clang::warn_unused_result]] Error {
158 // ErrorList needs to be able to yank ErrorInfoBase pointers out of Errors
159 // to add to the error list. It can't rely on handleErrors for this, since
160 // handleErrors does not support ErrorList handlers.
161 friend class ErrorList;
162
163 // handleErrors needs to be able to set the Checked flag.
164 template <typename... HandlerTs>
165 friend Error handleErrors(Error E, HandlerTs &&... Handlers);
166
167 // Expected<T> needs to be able to steal the payload when constructed from an
168 // error.
169 template <typename T> friend class Expected;
170
171 // wrap needs to be able to steal the payload.
172 friend LLVMErrorRef wrap(Error);
173
174protected:
175 /// Create a success value. Prefer using 'Error::success()' for readability
176 Error() {
177 setPtr(nullptr);
178 setChecked(false);
179 }
180
181public:
182 /// Create a success value.
183 static ErrorSuccess success();
184
185 // Errors are not copy-constructable.
186 Error(const Error &Other) = delete;
187
188 /// Move-construct an error value. The newly constructed error is considered
189 /// unchecked, even if the source error had been checked. The original error
190 /// becomes a checked Success value, regardless of its original state.
191 Error(Error &&Other) {
192 setChecked(true);
193 *this = std::move(Other);
194 }
195
196 /// Create an error value. Prefer using the 'make_error' function, but
197 /// this constructor can be useful when "re-throwing" errors from handlers.
198 Error(std::unique_ptr<ErrorInfoBase> Payload) {
199 setPtr(Payload.release());
200 setChecked(false);
201 }
202
203 // Errors are not copy-assignable.
204 Error &operator=(const Error &Other) = delete;
205
206 /// Move-assign an error value. The current error must represent success, you
207 /// you cannot overwrite an unhandled error. The current error is then
208 /// considered unchecked. The source error becomes a checked success value,
209 /// regardless of its original state.
210 Error &operator=(Error &&Other) {
211 // Don't allow overwriting of unchecked values.
212 assertIsChecked();
213 setPtr(Other.getPtr());
214
215 // This Error is unchecked, even if the source error was checked.
216 setChecked(false);
217
218 // Null out Other's payload and set its checked bit.
219 Other.setPtr(nullptr);
220 Other.setChecked(true);
221
222 return *this;
223 }
224
225 /// Destroy a Error. Fails with a call to abort() if the error is
226 /// unchecked.
227 ~Error() {
228 assertIsChecked();
229 delete getPtr();
230 }
231
232 /// Bool conversion. Returns true if this Error is in a failure state,
233 /// and false if it is in an accept state. If the error is in a Success state
234 /// it will be considered checked.
235 explicit operator bool() {
236 setChecked(getPtr() == nullptr);
237 return getPtr() != nullptr;
8
Returning zero, which participates in a condition later
12
Returning zero, which participates in a condition later
238 }
239
240 /// Check whether one error is a subclass of another.
241 template <typename ErrT> bool isA() const {
242 return getPtr() && getPtr()->isA(ErrT::classID());
243 }
244
245 /// Returns the dynamic class id of this error, or null if this is a success
246 /// value.
247 const void* dynamicClassID() const {
248 if (!getPtr())
249 return nullptr;
250 return getPtr()->dynamicClassID();
251 }
252
253private:
254#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
255 // assertIsChecked() happens very frequently, but under normal circumstances
256 // is supposed to be a no-op. So we want it to be inlined, but having a bunch
257 // of debug prints can cause the function to be too large for inlining. So
258 // it's important that we define this function out of line so that it can't be
259 // inlined.
260 [[noreturn]] void fatalUncheckedError() const;
261#endif
262
263 void assertIsChecked() {
264#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
265 if (LLVM_UNLIKELY(!getChecked() || getPtr())__builtin_expect((bool)(!getChecked() || getPtr()), false))
266 fatalUncheckedError();
267#endif
268 }
269
270 ErrorInfoBase *getPtr() const {
271#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
272 return reinterpret_cast<ErrorInfoBase*>(
273 reinterpret_cast<uintptr_t>(Payload) &
274 ~static_cast<uintptr_t>(0x1));
275#else
276 return Payload;
277#endif
278 }
279
280 void setPtr(ErrorInfoBase *EI) {
281#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
282 Payload = reinterpret_cast<ErrorInfoBase*>(
283 (reinterpret_cast<uintptr_t>(EI) &
284 ~static_cast<uintptr_t>(0x1)) |
285 (reinterpret_cast<uintptr_t>(Payload) & 0x1));
286#else
287 Payload = EI;
288#endif
289 }
290
291 bool getChecked() const {
292#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
293 return (reinterpret_cast<uintptr_t>(Payload) & 0x1) == 0;
294#else
295 return true;
296#endif
297 }
298
299 void setChecked(bool V) {
300#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
301 Payload = reinterpret_cast<ErrorInfoBase*>(
302 (reinterpret_cast<uintptr_t>(Payload) &
303 ~static_cast<uintptr_t>(0x1)) |
304 (V ? 0 : 1));
305#endif
306 }
307
308 std::unique_ptr<ErrorInfoBase> takePayload() {
309 std::unique_ptr<ErrorInfoBase> Tmp(getPtr());
310 setPtr(nullptr);
311 setChecked(true);
312 return Tmp;
313 }
314
315 friend raw_ostream &operator<<(raw_ostream &OS, const Error &E) {
316 if (auto *P = E.getPtr())
317 P->log(OS);
318 else
319 OS << "success";
320 return OS;
321 }
322
323 ErrorInfoBase *Payload = nullptr;
324};
325
326/// Subclass of Error for the sole purpose of identifying the success path in
327/// the type system. This allows to catch invalid conversion to Expected<T> at
328/// compile time.
329class ErrorSuccess final : public Error {};
330
331inline ErrorSuccess Error::success() { return ErrorSuccess(); }
332
333/// Make a Error instance representing failure using the given error info
334/// type.
335template <typename ErrT, typename... ArgTs> Error make_error(ArgTs &&... Args) {
336 return Error(std::make_unique<ErrT>(std::forward<ArgTs>(Args)...));
337}
338
339/// Base class for user error types. Users should declare their error types
340/// like:
341///
342/// class MyError : public ErrorInfo<MyError> {
343/// ....
344/// };
345///
346/// This class provides an implementation of the ErrorInfoBase::kind
347/// method, which is used by the Error RTTI system.
348template <typename ThisErrT, typename ParentErrT = ErrorInfoBase>
349class ErrorInfo : public ParentErrT {
350public:
351 using ParentErrT::ParentErrT; // inherit constructors
352
353 static const void *classID() { return &ThisErrT::ID; }
354
355 const void *dynamicClassID() const override { return &ThisErrT::ID; }
356
357 bool isA(const void *const ClassID) const override {
358 return ClassID == classID() || ParentErrT::isA(ClassID);
359 }
360};
361
362/// Special ErrorInfo subclass representing a list of ErrorInfos.
363/// Instances of this class are constructed by joinError.
364class ErrorList final : public ErrorInfo<ErrorList> {
365 // handleErrors needs to be able to iterate the payload list of an
366 // ErrorList.
367 template <typename... HandlerTs>
368 friend Error handleErrors(Error E, HandlerTs &&... Handlers);
369
370 // joinErrors is implemented in terms of join.
371 friend Error joinErrors(Error, Error);
372
373public:
374 void log(raw_ostream &OS) const override {
375 OS << "Multiple errors:\n";
376 for (const auto &ErrPayload : Payloads) {
377 ErrPayload->log(OS);
378 OS << "\n";
379 }
380 }
381
382 std::error_code convertToErrorCode() const override;
383
384 // Used by ErrorInfo::classID.
385 static char ID;
386
387private:
388 ErrorList(std::unique_ptr<ErrorInfoBase> Payload1,
389 std::unique_ptr<ErrorInfoBase> Payload2) {
390 assert(!Payload1->isA<ErrorList>() && !Payload2->isA<ErrorList>() &&(static_cast <bool> (!Payload1->isA<ErrorList>
() && !Payload2->isA<ErrorList>() &&
"ErrorList constructor payloads should be singleton errors")
? void (0) : __assert_fail ("!Payload1->isA<ErrorList>() && !Payload2->isA<ErrorList>() && \"ErrorList constructor payloads should be singleton errors\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 391, __extension__ __PRETTY_FUNCTION__))
391 "ErrorList constructor payloads should be singleton errors")(static_cast <bool> (!Payload1->isA<ErrorList>
() && !Payload2->isA<ErrorList>() &&
"ErrorList constructor payloads should be singleton errors")
? void (0) : __assert_fail ("!Payload1->isA<ErrorList>() && !Payload2->isA<ErrorList>() && \"ErrorList constructor payloads should be singleton errors\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 391, __extension__ __PRETTY_FUNCTION__))
;
392 Payloads.push_back(std::move(Payload1));
393 Payloads.push_back(std::move(Payload2));
394 }
395
396 static Error join(Error E1, Error E2) {
397 if (!E1)
398 return E2;
399 if (!E2)
400 return E1;
401 if (E1.isA<ErrorList>()) {
402 auto &E1List = static_cast<ErrorList &>(*E1.getPtr());
403 if (E2.isA<ErrorList>()) {
404 auto E2Payload = E2.takePayload();
405 auto &E2List = static_cast<ErrorList &>(*E2Payload);
406 for (auto &Payload : E2List.Payloads)
407 E1List.Payloads.push_back(std::move(Payload));
408 } else
409 E1List.Payloads.push_back(E2.takePayload());
410
411 return E1;
412 }
413 if (E2.isA<ErrorList>()) {
414 auto &E2List = static_cast<ErrorList &>(*E2.getPtr());
415 E2List.Payloads.insert(E2List.Payloads.begin(), E1.takePayload());
416 return E2;
417 }
418 return Error(std::unique_ptr<ErrorList>(
419 new ErrorList(E1.takePayload(), E2.takePayload())));
420 }
421
422 std::vector<std::unique_ptr<ErrorInfoBase>> Payloads;
423};
424
425/// Concatenate errors. The resulting Error is unchecked, and contains the
426/// ErrorInfo(s), if any, contained in E1, followed by the
427/// ErrorInfo(s), if any, contained in E2.
428inline Error joinErrors(Error E1, Error E2) {
429 return ErrorList::join(std::move(E1), std::move(E2));
430}
431
432/// Tagged union holding either a T or a Error.
433///
434/// This class parallels ErrorOr, but replaces error_code with Error. Since
435/// Error cannot be copied, this class replaces getError() with
436/// takeError(). It also adds an bool errorIsA<ErrT>() method for testing the
437/// error class type.
438///
439/// Example usage of 'Expected<T>' as a function return type:
440///
441/// @code{.cpp}
442/// Expected<int> myDivide(int A, int B) {
443/// if (B == 0) {
444/// // return an Error
445/// return createStringError(inconvertibleErrorCode(),
446/// "B must not be zero!");
447/// }
448/// // return an integer
449/// return A / B;
450/// }
451/// @endcode
452///
453/// Checking the results of to a function returning 'Expected<T>':
454/// @code{.cpp}
455/// if (auto E = Result.takeError()) {
456/// // We must consume the error. Typically one of:
457/// // - return the error to our caller
458/// // - toString(), when logging
459/// // - consumeError(), to silently swallow the error
460/// // - handleErrors(), to distinguish error types
461/// errs() << "Problem with division " << toString(std::move(E)) << "\n";
462/// return;
463/// }
464/// // use the result
465/// outs() << "The answer is " << *Result << "\n";
466/// @endcode
467///
468/// For unit-testing a function returning an 'Expceted<T>', see the
469/// 'EXPECT_THAT_EXPECTED' macros in llvm/Testing/Support/Error.h
470
471template <class T> class LLVM_NODISCARD[[clang::warn_unused_result]] Expected {
472 template <class T1> friend class ExpectedAsOutParameter;
473 template <class OtherT> friend class Expected;
474
475 static constexpr bool isRef = std::is_reference<T>::value;
476
477 using wrap = std::reference_wrapper<std::remove_reference_t<T>>;
478
479 using error_type = std::unique_ptr<ErrorInfoBase>;
480
481public:
482 using storage_type = std::conditional_t<isRef, wrap, T>;
483 using value_type = T;
484
485private:
486 using reference = std::remove_reference_t<T> &;
487 using const_reference = const std::remove_reference_t<T> &;
488 using pointer = std::remove_reference_t<T> *;
489 using const_pointer = const std::remove_reference_t<T> *;
490
491public:
492 /// Create an Expected<T> error value from the given Error.
493 Expected(Error Err)
494 : HasError(true)
495#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
496 // Expected is unchecked upon construction in Debug builds.
497 , Unchecked(true)
498#endif
499 {
500 assert(Err && "Cannot create Expected<T> from Error success value.")(static_cast <bool> (Err && "Cannot create Expected<T> from Error success value."
) ? void (0) : __assert_fail ("Err && \"Cannot create Expected<T> from Error success value.\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 500, __extension__ __PRETTY_FUNCTION__))
;
501 new (getErrorStorage()) error_type(Err.takePayload());
502 }
503
504 /// Forbid to convert from Error::success() implicitly, this avoids having
505 /// Expected<T> foo() { return Error::success(); } which compiles otherwise
506 /// but triggers the assertion above.
507 Expected(ErrorSuccess) = delete;
508
509 /// Create an Expected<T> success value from the given OtherT value, which
510 /// must be convertible to T.
511 template <typename OtherT>
512 Expected(OtherT &&Val,
513 std::enable_if_t<std::is_convertible<OtherT, T>::value> * = nullptr)
514 : HasError(false)
515#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
516 // Expected is unchecked upon construction in Debug builds.
517 ,
518 Unchecked(true)
519#endif
520 {
521 new (getStorage()) storage_type(std::forward<OtherT>(Val));
522 }
523
524 /// Move construct an Expected<T> value.
525 Expected(Expected &&Other) { moveConstruct(std::move(Other)); }
526
527 /// Move construct an Expected<T> value from an Expected<OtherT>, where OtherT
528 /// must be convertible to T.
529 template <class OtherT>
530 Expected(
531 Expected<OtherT> &&Other,
532 std::enable_if_t<std::is_convertible<OtherT, T>::value> * = nullptr) {
533 moveConstruct(std::move(Other));
534 }
535
536 /// Move construct an Expected<T> value from an Expected<OtherT>, where OtherT
537 /// isn't convertible to T.
538 template <class OtherT>
539 explicit Expected(
540 Expected<OtherT> &&Other,
541 std::enable_if_t<!std::is_convertible<OtherT, T>::value> * = nullptr) {
542 moveConstruct(std::move(Other));
543 }
544
545 /// Move-assign from another Expected<T>.
546 Expected &operator=(Expected &&Other) {
547 moveAssign(std::move(Other));
548 return *this;
549 }
550
551 /// Destroy an Expected<T>.
552 ~Expected() {
553 assertIsChecked();
554 if (!HasError)
555 getStorage()->~storage_type();
556 else
557 getErrorStorage()->~error_type();
558 }
559
560 /// Return false if there is an error.
561 explicit operator bool() {
562#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
563 Unchecked = HasError;
564#endif
565 return !HasError;
566 }
567
568 /// Returns a reference to the stored T value.
569 reference get() {
570 assertIsChecked();
571 return *getStorage();
572 }
573
574 /// Returns a const reference to the stored T value.
575 const_reference get() const {
576 assertIsChecked();
577 return const_cast<Expected<T> *>(this)->get();
578 }
579
580 /// Returns \a takeError() after moving the held T (if any) into \p V.
581 template <class OtherT>
582 Error moveInto(OtherT &Value,
583 std::enable_if_t<std::is_assignable<OtherT &, T &&>::value> * =
584 nullptr) && {
585 if (*this)
586 Value = std::move(get());
587 return takeError();
588 }
589
590 /// Check that this Expected<T> is an error of type ErrT.
591 template <typename ErrT> bool errorIsA() const {
592 return HasError && (*getErrorStorage())->template isA<ErrT>();
593 }
594
595 /// Take ownership of the stored error.
596 /// After calling this the Expected<T> is in an indeterminate state that can
597 /// only be safely destructed. No further calls (beside the destructor) should
598 /// be made on the Expected<T> value.
599 Error takeError() {
600#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
601 Unchecked = false;
602#endif
603 return HasError ? Error(std::move(*getErrorStorage())) : Error::success();
604 }
605
606 /// Returns a pointer to the stored T value.
607 pointer operator->() {
608 assertIsChecked();
609 return toPointer(getStorage());
610 }
611
612 /// Returns a const pointer to the stored T value.
613 const_pointer operator->() const {
614 assertIsChecked();
615 return toPointer(getStorage());
616 }
617
618 /// Returns a reference to the stored T value.
619 reference operator*() {
620 assertIsChecked();
621 return *getStorage();
622 }
623
624 /// Returns a const reference to the stored T value.
625 const_reference operator*() const {
626 assertIsChecked();
627 return *getStorage();
628 }
629
630private:
631 template <class T1>
632 static bool compareThisIfSameType(const T1 &a, const T1 &b) {
633 return &a == &b;
634 }
635
636 template <class T1, class T2>
637 static bool compareThisIfSameType(const T1 &, const T2 &) {
638 return false;
639 }
640
641 template <class OtherT> void moveConstruct(Expected<OtherT> &&Other) {
642 HasError = Other.HasError;
643#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
644 Unchecked = true;
645 Other.Unchecked = false;
646#endif
647
648 if (!HasError)
649 new (getStorage()) storage_type(std::move(*Other.getStorage()));
650 else
651 new (getErrorStorage()) error_type(std::move(*Other.getErrorStorage()));
652 }
653
654 template <class OtherT> void moveAssign(Expected<OtherT> &&Other) {
655 assertIsChecked();
656
657 if (compareThisIfSameType(*this, Other))
658 return;
659
660 this->~Expected();
661 new (this) Expected(std::move(Other));
662 }
663
664 pointer toPointer(pointer Val) { return Val; }
665
666 const_pointer toPointer(const_pointer Val) const { return Val; }
667
668 pointer toPointer(wrap *Val) { return &Val->get(); }
669
670 const_pointer toPointer(const wrap *Val) const { return &Val->get(); }
671
672 storage_type *getStorage() {
673 assert(!HasError && "Cannot get value when an error exists!")(static_cast <bool> (!HasError && "Cannot get value when an error exists!"
) ? void (0) : __assert_fail ("!HasError && \"Cannot get value when an error exists!\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 673, __extension__ __PRETTY_FUNCTION__))
;
674 return reinterpret_cast<storage_type *>(&TStorage);
675 }
676
677 const storage_type *getStorage() const {
678 assert(!HasError && "Cannot get value when an error exists!")(static_cast <bool> (!HasError && "Cannot get value when an error exists!"
) ? void (0) : __assert_fail ("!HasError && \"Cannot get value when an error exists!\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 678, __extension__ __PRETTY_FUNCTION__))
;
679 return reinterpret_cast<const storage_type *>(&TStorage);
680 }
681
682 error_type *getErrorStorage() {
683 assert(HasError && "Cannot get error when a value exists!")(static_cast <bool> (HasError && "Cannot get error when a value exists!"
) ? void (0) : __assert_fail ("HasError && \"Cannot get error when a value exists!\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 683, __extension__ __PRETTY_FUNCTION__))
;
684 return reinterpret_cast<error_type *>(&ErrorStorage);
685 }
686
687 const error_type *getErrorStorage() const {
688 assert(HasError && "Cannot get error when a value exists!")(static_cast <bool> (HasError && "Cannot get error when a value exists!"
) ? void (0) : __assert_fail ("HasError && \"Cannot get error when a value exists!\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 688, __extension__ __PRETTY_FUNCTION__))
;
689 return reinterpret_cast<const error_type *>(&ErrorStorage);
690 }
691
692 // Used by ExpectedAsOutParameter to reset the checked flag.
693 void setUnchecked() {
694#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
695 Unchecked = true;
696#endif
697 }
698
699#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
700 [[noreturn]] LLVM_ATTRIBUTE_NOINLINE__attribute__((noinline)) void fatalUncheckedExpected() const {
701 dbgs() << "Expected<T> must be checked before access or destruction.\n";
702 if (HasError) {
703 dbgs() << "Unchecked Expected<T> contained error:\n";
704 (*getErrorStorage())->log(dbgs());
705 } else
706 dbgs() << "Expected<T> value was in success state. (Note: Expected<T> "
707 "values in success mode must still be checked prior to being "
708 "destroyed).\n";
709 abort();
710 }
711#endif
712
713 void assertIsChecked() const {
714#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
715 if (LLVM_UNLIKELY(Unchecked)__builtin_expect((bool)(Unchecked), false))
716 fatalUncheckedExpected();
717#endif
718 }
719
720 union {
721 AlignedCharArrayUnion<storage_type> TStorage;
722 AlignedCharArrayUnion<error_type> ErrorStorage;
723 };
724 bool HasError : 1;
725#if LLVM_ENABLE_ABI_BREAKING_CHECKS1
726 bool Unchecked : 1;
727#endif
728};
729
730/// Report a serious error, calling any installed error handler. See
731/// ErrorHandling.h.
732[[noreturn]] void report_fatal_error(Error Err, bool gen_crash_diag = true);
733
734/// Report a fatal error if Err is a failure value.
735///
736/// This function can be used to wrap calls to fallible functions ONLY when it
737/// is known that the Error will always be a success value. E.g.
738///
739/// @code{.cpp}
740/// // foo only attempts the fallible operation if DoFallibleOperation is
741/// // true. If DoFallibleOperation is false then foo always returns
742/// // Error::success().
743/// Error foo(bool DoFallibleOperation);
744///
745/// cantFail(foo(false));
746/// @endcode
747inline void cantFail(Error Err, const char *Msg = nullptr) {
748 if (Err) {
749 if (!Msg)
750 Msg = "Failure value returned from cantFail wrapped call";
751#ifndef NDEBUG
752 std::string Str;
753 raw_string_ostream OS(Str);
754 OS << Msg << "\n" << Err;
755 Msg = OS.str().c_str();
756#endif
757 llvm_unreachable(Msg)::llvm::llvm_unreachable_internal(Msg, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 757)
;
758 }
759}
760
761/// Report a fatal error if ValOrErr is a failure value, otherwise unwraps and
762/// returns the contained value.
763///
764/// This function can be used to wrap calls to fallible functions ONLY when it
765/// is known that the Error will always be a success value. E.g.
766///
767/// @code{.cpp}
768/// // foo only attempts the fallible operation if DoFallibleOperation is
769/// // true. If DoFallibleOperation is false then foo always returns an int.
770/// Expected<int> foo(bool DoFallibleOperation);
771///
772/// int X = cantFail(foo(false));
773/// @endcode
774template <typename T>
775T cantFail(Expected<T> ValOrErr, const char *Msg = nullptr) {
776 if (ValOrErr)
777 return std::move(*ValOrErr);
778 else {
779 if (!Msg)
780 Msg = "Failure value returned from cantFail wrapped call";
781#ifndef NDEBUG
782 std::string Str;
783 raw_string_ostream OS(Str);
784 auto E = ValOrErr.takeError();
785 OS << Msg << "\n" << E;
786 Msg = OS.str().c_str();
787#endif
788 llvm_unreachable(Msg)::llvm::llvm_unreachable_internal(Msg, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 788)
;
789 }
790}
791
792/// Report a fatal error if ValOrErr is a failure value, otherwise unwraps and
793/// returns the contained reference.
794///
795/// This function can be used to wrap calls to fallible functions ONLY when it
796/// is known that the Error will always be a success value. E.g.
797///
798/// @code{.cpp}
799/// // foo only attempts the fallible operation if DoFallibleOperation is
800/// // true. If DoFallibleOperation is false then foo always returns a Bar&.
801/// Expected<Bar&> foo(bool DoFallibleOperation);
802///
803/// Bar &X = cantFail(foo(false));
804/// @endcode
805template <typename T>
806T& cantFail(Expected<T&> ValOrErr, const char *Msg = nullptr) {
807 if (ValOrErr)
808 return *ValOrErr;
809 else {
810 if (!Msg)
811 Msg = "Failure value returned from cantFail wrapped call";
812#ifndef NDEBUG
813 std::string Str;
814 raw_string_ostream OS(Str);
815 auto E = ValOrErr.takeError();
816 OS << Msg << "\n" << E;
817 Msg = OS.str().c_str();
818#endif
819 llvm_unreachable(Msg)::llvm::llvm_unreachable_internal(Msg, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 819)
;
820 }
821}
822
823/// Helper for testing applicability of, and applying, handlers for
824/// ErrorInfo types.
825template <typename HandlerT>
826class ErrorHandlerTraits
827 : public ErrorHandlerTraits<decltype(
828 &std::remove_reference<HandlerT>::type::operator())> {};
829
830// Specialization functions of the form 'Error (const ErrT&)'.
831template <typename ErrT> class ErrorHandlerTraits<Error (&)(ErrT &)> {
832public:
833 static bool appliesTo(const ErrorInfoBase &E) {
834 return E.template isA<ErrT>();
835 }
836
837 template <typename HandlerT>
838 static Error apply(HandlerT &&H, std::unique_ptr<ErrorInfoBase> E) {
839 assert(appliesTo(*E) && "Applying incorrect handler")(static_cast <bool> (appliesTo(*E) && "Applying incorrect handler"
) ? void (0) : __assert_fail ("appliesTo(*E) && \"Applying incorrect handler\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 839, __extension__ __PRETTY_FUNCTION__))
;
840 return H(static_cast<ErrT &>(*E));
841 }
842};
843
844// Specialization functions of the form 'void (const ErrT&)'.
845template <typename ErrT> class ErrorHandlerTraits<void (&)(ErrT &)> {
846public:
847 static bool appliesTo(const ErrorInfoBase &E) {
848 return E.template isA<ErrT>();
849 }
850
851 template <typename HandlerT>
852 static Error apply(HandlerT &&H, std::unique_ptr<ErrorInfoBase> E) {
853 assert(appliesTo(*E) && "Applying incorrect handler")(static_cast <bool> (appliesTo(*E) && "Applying incorrect handler"
) ? void (0) : __assert_fail ("appliesTo(*E) && \"Applying incorrect handler\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 853, __extension__ __PRETTY_FUNCTION__))
;
854 H(static_cast<ErrT &>(*E));
855 return Error::success();
856 }
857};
858
859/// Specialization for functions of the form 'Error (std::unique_ptr<ErrT>)'.
860template <typename ErrT>
861class ErrorHandlerTraits<Error (&)(std::unique_ptr<ErrT>)> {
862public:
863 static bool appliesTo(const ErrorInfoBase &E) {
864 return E.template isA<ErrT>();
865 }
866
867 template <typename HandlerT>
868 static Error apply(HandlerT &&H, std::unique_ptr<ErrorInfoBase> E) {
869 assert(appliesTo(*E) && "Applying incorrect handler")(static_cast <bool> (appliesTo(*E) && "Applying incorrect handler"
) ? void (0) : __assert_fail ("appliesTo(*E) && \"Applying incorrect handler\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 869, __extension__ __PRETTY_FUNCTION__))
;
870 std::unique_ptr<ErrT> SubE(static_cast<ErrT *>(E.release()));
871 return H(std::move(SubE));
872 }
873};
874
875/// Specialization for functions of the form 'void (std::unique_ptr<ErrT>)'.
876template <typename ErrT>
877class ErrorHandlerTraits<void (&)(std::unique_ptr<ErrT>)> {
878public:
879 static bool appliesTo(const ErrorInfoBase &E) {
880 return E.template isA<ErrT>();
881 }
882
883 template <typename HandlerT>
884 static Error apply(HandlerT &&H, std::unique_ptr<ErrorInfoBase> E) {
885 assert(appliesTo(*E) && "Applying incorrect handler")(static_cast <bool> (appliesTo(*E) && "Applying incorrect handler"
) ? void (0) : __assert_fail ("appliesTo(*E) && \"Applying incorrect handler\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 885, __extension__ __PRETTY_FUNCTION__))
;
886 std::unique_ptr<ErrT> SubE(static_cast<ErrT *>(E.release()));
887 H(std::move(SubE));
888 return Error::success();
889 }
890};
891
892// Specialization for member functions of the form 'RetT (const ErrT&)'.
893template <typename C, typename RetT, typename ErrT>
894class ErrorHandlerTraits<RetT (C::*)(ErrT &)>
895 : public ErrorHandlerTraits<RetT (&)(ErrT &)> {};
896
897// Specialization for member functions of the form 'RetT (const ErrT&) const'.
898template <typename C, typename RetT, typename ErrT>
899class ErrorHandlerTraits<RetT (C::*)(ErrT &) const>
900 : public ErrorHandlerTraits<RetT (&)(ErrT &)> {};
901
902// Specialization for member functions of the form 'RetT (const ErrT&)'.
903template <typename C, typename RetT, typename ErrT>
904class ErrorHandlerTraits<RetT (C::*)(const ErrT &)>
905 : public ErrorHandlerTraits<RetT (&)(ErrT &)> {};
906
907// Specialization for member functions of the form 'RetT (const ErrT&) const'.
908template <typename C, typename RetT, typename ErrT>
909class ErrorHandlerTraits<RetT (C::*)(const ErrT &) const>
910 : public ErrorHandlerTraits<RetT (&)(ErrT &)> {};
911
912/// Specialization for member functions of the form
913/// 'RetT (std::unique_ptr<ErrT>)'.
914template <typename C, typename RetT, typename ErrT>
915class ErrorHandlerTraits<RetT (C::*)(std::unique_ptr<ErrT>)>
916 : public ErrorHandlerTraits<RetT (&)(std::unique_ptr<ErrT>)> {};
917
918/// Specialization for member functions of the form
919/// 'RetT (std::unique_ptr<ErrT>) const'.
920template <typename C, typename RetT, typename ErrT>
921class ErrorHandlerTraits<RetT (C::*)(std::unique_ptr<ErrT>) const>
922 : public ErrorHandlerTraits<RetT (&)(std::unique_ptr<ErrT>)> {};
923
924inline Error handleErrorImpl(std::unique_ptr<ErrorInfoBase> Payload) {
925 return Error(std::move(Payload));
926}
927
928template <typename HandlerT, typename... HandlerTs>
929Error handleErrorImpl(std::unique_ptr<ErrorInfoBase> Payload,
930 HandlerT &&Handler, HandlerTs &&... Handlers) {
931 if (ErrorHandlerTraits<HandlerT>::appliesTo(*Payload))
932 return ErrorHandlerTraits<HandlerT>::apply(std::forward<HandlerT>(Handler),
933 std::move(Payload));
934 return handleErrorImpl(std::move(Payload),
935 std::forward<HandlerTs>(Handlers)...);
936}
937
938/// Pass the ErrorInfo(s) contained in E to their respective handlers. Any
939/// unhandled errors (or Errors returned by handlers) are re-concatenated and
940/// returned.
941/// Because this function returns an error, its result must also be checked
942/// or returned. If you intend to handle all errors use handleAllErrors
943/// (which returns void, and will abort() on unhandled errors) instead.
944template <typename... HandlerTs>
945Error handleErrors(Error E, HandlerTs &&... Hs) {
946 if (!E)
947 return Error::success();
948
949 std::unique_ptr<ErrorInfoBase> Payload = E.takePayload();
950
951 if (Payload->isA<ErrorList>()) {
952 ErrorList &List = static_cast<ErrorList &>(*Payload);
953 Error R;
954 for (auto &P : List.Payloads)
955 R = ErrorList::join(
956 std::move(R),
957 handleErrorImpl(std::move(P), std::forward<HandlerTs>(Hs)...));
958 return R;
959 }
960
961 return handleErrorImpl(std::move(Payload), std::forward<HandlerTs>(Hs)...);
962}
963
964/// Behaves the same as handleErrors, except that by contract all errors
965/// *must* be handled by the given handlers (i.e. there must be no remaining
966/// errors after running the handlers, or llvm_unreachable is called).
967template <typename... HandlerTs>
968void handleAllErrors(Error E, HandlerTs &&... Handlers) {
969 cantFail(handleErrors(std::move(E), std::forward<HandlerTs>(Handlers)...));
970}
971
972/// Check that E is a non-error, then drop it.
973/// If E is an error, llvm_unreachable will be called.
974inline void handleAllErrors(Error E) {
975 cantFail(std::move(E));
976}
977
978/// Handle any errors (if present) in an Expected<T>, then try a recovery path.
979///
980/// If the incoming value is a success value it is returned unmodified. If it
981/// is a failure value then it the contained error is passed to handleErrors.
982/// If handleErrors is able to handle the error then the RecoveryPath functor
983/// is called to supply the final result. If handleErrors is not able to
984/// handle all errors then the unhandled errors are returned.
985///
986/// This utility enables the follow pattern:
987///
988/// @code{.cpp}
989/// enum FooStrategy { Aggressive, Conservative };
990/// Expected<Foo> foo(FooStrategy S);
991///
992/// auto ResultOrErr =
993/// handleExpected(
994/// foo(Aggressive),
995/// []() { return foo(Conservative); },
996/// [](AggressiveStrategyError&) {
997/// // Implicitly conusme this - we'll recover by using a conservative
998/// // strategy.
999/// });
1000///
1001/// @endcode
1002template <typename T, typename RecoveryFtor, typename... HandlerTs>
1003Expected<T> handleExpected(Expected<T> ValOrErr, RecoveryFtor &&RecoveryPath,
1004 HandlerTs &&... Handlers) {
1005 if (ValOrErr)
1006 return ValOrErr;
1007
1008 if (auto Err = handleErrors(ValOrErr.takeError(),
1009 std::forward<HandlerTs>(Handlers)...))
1010 return std::move(Err);
1011
1012 return RecoveryPath();
1013}
1014
1015/// Log all errors (if any) in E to OS. If there are any errors, ErrorBanner
1016/// will be printed before the first one is logged. A newline will be printed
1017/// after each error.
1018///
1019/// This function is compatible with the helpers from Support/WithColor.h. You
1020/// can pass any of them as the OS. Please consider using them instead of
1021/// including 'error: ' in the ErrorBanner.
1022///
1023/// This is useful in the base level of your program to allow clean termination
1024/// (allowing clean deallocation of resources, etc.), while reporting error
1025/// information to the user.
1026void logAllUnhandledErrors(Error E, raw_ostream &OS, Twine ErrorBanner = {});
1027
1028/// Write all error messages (if any) in E to a string. The newline character
1029/// is used to separate error messages.
1030inline std::string toString(Error E) {
1031 SmallVector<std::string, 2> Errors;
1032 handleAllErrors(std::move(E), [&Errors](const ErrorInfoBase &EI) {
1033 Errors.push_back(EI.message());
1034 });
1035 return join(Errors.begin(), Errors.end(), "\n");
1036}
1037
1038/// Consume a Error without doing anything. This method should be used
1039/// only where an error can be considered a reasonable and expected return
1040/// value.
1041///
1042/// Uses of this method are potentially indicative of design problems: If it's
1043/// legitimate to do nothing while processing an "error", the error-producer
1044/// might be more clearly refactored to return an Optional<T>.
1045inline void consumeError(Error Err) {
1046 handleAllErrors(std::move(Err), [](const ErrorInfoBase &) {});
1047}
1048
1049/// Convert an Expected to an Optional without doing anything. This method
1050/// should be used only where an error can be considered a reasonable and
1051/// expected return value.
1052///
1053/// Uses of this method are potentially indicative of problems: perhaps the
1054/// error should be propagated further, or the error-producer should just
1055/// return an Optional in the first place.
1056template <typename T> Optional<T> expectedToOptional(Expected<T> &&E) {
1057 if (E)
1058 return std::move(*E);
1059 consumeError(E.takeError());
1060 return None;
1061}
1062
1063/// Helper for converting an Error to a bool.
1064///
1065/// This method returns true if Err is in an error state, or false if it is
1066/// in a success state. Puts Err in a checked state in both cases (unlike
1067/// Error::operator bool(), which only does this for success states).
1068inline bool errorToBool(Error Err) {
1069 bool IsError = static_cast<bool>(Err);
1070 if (IsError)
1071 consumeError(std::move(Err));
1072 return IsError;
1073}
1074
1075/// Helper for Errors used as out-parameters.
1076///
1077/// This helper is for use with the Error-as-out-parameter idiom, where an error
1078/// is passed to a function or method by reference, rather than being returned.
1079/// In such cases it is helpful to set the checked bit on entry to the function
1080/// so that the error can be written to (unchecked Errors abort on assignment)
1081/// and clear the checked bit on exit so that clients cannot accidentally forget
1082/// to check the result. This helper performs these actions automatically using
1083/// RAII:
1084///
1085/// @code{.cpp}
1086/// Result foo(Error &Err) {
1087/// ErrorAsOutParameter ErrAsOutParam(&Err); // 'Checked' flag set
1088/// // <body of foo>
1089/// // <- 'Checked' flag auto-cleared when ErrAsOutParam is destructed.
1090/// }
1091/// @endcode
1092///
1093/// ErrorAsOutParameter takes an Error* rather than Error& so that it can be
1094/// used with optional Errors (Error pointers that are allowed to be null). If
1095/// ErrorAsOutParameter took an Error reference, an instance would have to be
1096/// created inside every condition that verified that Error was non-null. By
1097/// taking an Error pointer we can just create one instance at the top of the
1098/// function.
1099class ErrorAsOutParameter {
1100public:
1101 ErrorAsOutParameter(Error *Err) : Err(Err) {
1102 // Raise the checked bit if Err is success.
1103 if (Err)
1104 (void)!!*Err;
1105 }
1106
1107 ~ErrorAsOutParameter() {
1108 // Clear the checked bit.
1109 if (Err && !*Err)
1110 *Err = Error::success();
1111 }
1112
1113private:
1114 Error *Err;
1115};
1116
1117/// Helper for Expected<T>s used as out-parameters.
1118///
1119/// See ErrorAsOutParameter.
1120template <typename T>
1121class ExpectedAsOutParameter {
1122public:
1123 ExpectedAsOutParameter(Expected<T> *ValOrErr)
1124 : ValOrErr(ValOrErr) {
1125 if (ValOrErr)
1126 (void)!!*ValOrErr;
1127 }
1128
1129 ~ExpectedAsOutParameter() {
1130 if (ValOrErr)
1131 ValOrErr->setUnchecked();
1132 }
1133
1134private:
1135 Expected<T> *ValOrErr;
1136};
1137
1138/// This class wraps a std::error_code in a Error.
1139///
1140/// This is useful if you're writing an interface that returns a Error
1141/// (or Expected) and you want to call code that still returns
1142/// std::error_codes.
1143class ECError : public ErrorInfo<ECError> {
1144 friend Error errorCodeToError(std::error_code);
1145
1146 virtual void anchor() override;
1147
1148public:
1149 void setErrorCode(std::error_code EC) { this->EC = EC; }
1150 std::error_code convertToErrorCode() const override { return EC; }
1151 void log(raw_ostream &OS) const override { OS << EC.message(); }
1152
1153 // Used by ErrorInfo::classID.
1154 static char ID;
1155
1156protected:
1157 ECError() = default;
1158 ECError(std::error_code EC) : EC(EC) {}
1159
1160 std::error_code EC;
1161};
1162
1163/// The value returned by this function can be returned from convertToErrorCode
1164/// for Error values where no sensible translation to std::error_code exists.
1165/// It should only be used in this situation, and should never be used where a
1166/// sensible conversion to std::error_code is available, as attempts to convert
1167/// to/from this error will result in a fatal error. (i.e. it is a programmatic
1168/// error to try to convert such a value).
1169std::error_code inconvertibleErrorCode();
1170
1171/// Helper for converting an std::error_code to a Error.
1172Error errorCodeToError(std::error_code EC);
1173
1174/// Helper for converting an ECError to a std::error_code.
1175///
1176/// This method requires that Err be Error() or an ECError, otherwise it
1177/// will trigger a call to abort().
1178std::error_code errorToErrorCode(Error Err);
1179
1180/// Convert an ErrorOr<T> to an Expected<T>.
1181template <typename T> Expected<T> errorOrToExpected(ErrorOr<T> &&EO) {
1182 if (auto EC = EO.getError())
1183 return errorCodeToError(EC);
1184 return std::move(*EO);
1185}
1186
1187/// Convert an Expected<T> to an ErrorOr<T>.
1188template <typename T> ErrorOr<T> expectedToErrorOr(Expected<T> &&E) {
1189 if (auto Err = E.takeError())
1190 return errorToErrorCode(std::move(Err));
1191 return std::move(*E);
1192}
1193
1194/// This class wraps a string in an Error.
1195///
1196/// StringError is useful in cases where the client is not expected to be able
1197/// to consume the specific error message programmatically (for example, if the
1198/// error message is to be presented to the user).
1199///
1200/// StringError can also be used when additional information is to be printed
1201/// along with a error_code message. Depending on the constructor called, this
1202/// class can either display:
1203/// 1. the error_code message (ECError behavior)
1204/// 2. a string
1205/// 3. the error_code message and a string
1206///
1207/// These behaviors are useful when subtyping is required; for example, when a
1208/// specific library needs an explicit error type. In the example below,
1209/// PDBError is derived from StringError:
1210///
1211/// @code{.cpp}
1212/// Expected<int> foo() {
1213/// return llvm::make_error<PDBError>(pdb_error_code::dia_failed_loading,
1214/// "Additional information");
1215/// }
1216/// @endcode
1217///
1218class StringError : public ErrorInfo<StringError> {
1219public:
1220 static char ID;
1221
1222 // Prints EC + S and converts to EC
1223 StringError(std::error_code EC, const Twine &S = Twine());
1224
1225 // Prints S and converts to EC
1226 StringError(const Twine &S, std::error_code EC);
1227
1228 void log(raw_ostream &OS) const override;
1229 std::error_code convertToErrorCode() const override;
1230
1231 const std::string &getMessage() const { return Msg; }
1232
1233private:
1234 std::string Msg;
1235 std::error_code EC;
1236 const bool PrintMsgOnly = false;
1237};
1238
1239/// Create formatted StringError object.
1240template <typename... Ts>
1241inline Error createStringError(std::error_code EC, char const *Fmt,
1242 const Ts &... Vals) {
1243 std::string Buffer;
1244 raw_string_ostream Stream(Buffer);
1245 Stream << format(Fmt, Vals...);
1246 return make_error<StringError>(Stream.str(), EC);
1247}
1248
1249Error createStringError(std::error_code EC, char const *Msg);
1250
1251inline Error createStringError(std::error_code EC, const Twine &S) {
1252 return createStringError(EC, S.str().c_str());
1253}
1254
1255template <typename... Ts>
1256inline Error createStringError(std::errc EC, char const *Fmt,
1257 const Ts &... Vals) {
1258 return createStringError(std::make_error_code(EC), Fmt, Vals...);
1259}
1260
1261/// This class wraps a filename and another Error.
1262///
1263/// In some cases, an error needs to live along a 'source' name, in order to
1264/// show more detailed information to the user.
1265class FileError final : public ErrorInfo<FileError> {
1266
1267 friend Error createFileError(const Twine &, Error);
1268 friend Error createFileError(const Twine &, size_t, Error);
1269
1270public:
1271 void log(raw_ostream &OS) const override {
1272 assert(Err && "Trying to log after takeError().")(static_cast <bool> (Err && "Trying to log after takeError()."
) ? void (0) : __assert_fail ("Err && \"Trying to log after takeError().\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 1272, __extension__ __PRETTY_FUNCTION__))
;
1273 OS << "'" << FileName << "': ";
1274 if (Line.hasValue())
1275 OS << "line " << Line.getValue() << ": ";
1276 Err->log(OS);
1277 }
1278
1279 std::string messageWithoutFileInfo() const {
1280 std::string Msg;
1281 raw_string_ostream OS(Msg);
1282 Err->log(OS);
1283 return OS.str();
1284 }
1285
1286 StringRef getFileName() { return FileName; }
1287
1288 Error takeError() { return Error(std::move(Err)); }
1289
1290 std::error_code convertToErrorCode() const override;
1291
1292 // Used by ErrorInfo::classID.
1293 static char ID;
1294
1295private:
1296 FileError(const Twine &F, Optional<size_t> LineNum,
1297 std::unique_ptr<ErrorInfoBase> E) {
1298 assert(E && "Cannot create FileError from Error success value.")(static_cast <bool> (E && "Cannot create FileError from Error success value."
) ? void (0) : __assert_fail ("E && \"Cannot create FileError from Error success value.\""
, "/build/llvm-toolchain-snapshot-14~++20211025100707+53804d4eb286/llvm/include/llvm/Support/Error.h"
, 1298, __extension__ __PRETTY_FUNCTION__))
;
1299 FileName = F.str();
1300 Err = std::move(E);
1301 Line = std::move(LineNum);
1302 }
1303
1304 static Error build(const Twine &F, Optional<size_t> Line, Error E) {
1305 std::unique_ptr<ErrorInfoBase> Payload;
1306 handleAllErrors(std::move(E),
1307 [&](std::unique_ptr<ErrorInfoBase> EIB) -> Error {
1308 Payload = std::move(EIB);
1309 return Error::success();
1310 });
1311 return Error(
1312 std::unique_ptr<FileError>(new FileError(F, Line, std::move(Payload))));
1313 }
1314
1315 std::string FileName;
1316 Optional<size_t> Line;
1317 std::unique_ptr<ErrorInfoBase> Err;
1318};
1319
1320/// Concatenate a source file path and/or name with an Error. The resulting
1321/// Error is unchecked.
1322inline Error createFileError(const Twine &F, Error E) {
1323 return FileError::build(F, Optional<size_t>(), std::move(E));
1324}
1325
1326/// Concatenate a source file path and/or name with line number and an Error.
1327/// The resulting Error is unchecked.
1328inline Error createFileError(const Twine &F, size_t Line, Error E) {
1329 return FileError::build(F, Optional<size_t>(Line), std::move(E));
1330}
1331
1332/// Concatenate a source file path and/or name with a std::error_code
1333/// to form an Error object.
1334inline Error createFileError(const Twine &F, std::error_code EC) {
1335 return createFileError(F, errorCodeToError(EC));
1336}
1337
1338/// Concatenate a source file path and/or name with line number and
1339/// std::error_code to form an Error object.
1340inline Error createFileError(const Twine &F, size_t Line, std::error_code EC) {
1341 return createFileError(F, Line, errorCodeToError(EC));
1342}
1343
1344Error createFileError(const Twine &F, ErrorSuccess) = delete;
1345
1346/// Helper for check-and-exit error handling.
1347///
1348/// For tool use only. NOT FOR USE IN LIBRARY CODE.
1349///
1350class ExitOnError {
1351public:
1352 /// Create an error on exit helper.
1353 ExitOnError(std::string Banner = "", int DefaultErrorExitCode = 1)
1354 : Banner(std::move(Banner)),
1355 GetExitCode([=](const Error &) { return DefaultErrorExitCode; }) {}
1356
1357 /// Set the banner string for any errors caught by operator().
1358 void setBanner(std::string Banner) { this->Banner = std::move(Banner); }
1359
1360 /// Set the exit-code mapper function.
1361 void setExitCodeMapper(std::function<int(const Error &)> GetExitCode) {
1362 this->GetExitCode = std::move(GetExitCode);
1363 }
1364
1365 /// Check Err. If it's in a failure state log the error(s) and exit.
1366 void operator()(Error Err) const { checkError(std::move(Err)); }
1367
1368 /// Check E. If it's in a success state then return the contained value. If
1369 /// it's in a failure state log the error(s) and exit.
1370 template <typename T> T operator()(Expected<T> &&E) const {
1371 checkError(E.takeError());
1372 return std::move(*E);
1373 }
1374
1375 /// Check E. If it's in a success state then return the contained reference. If
1376 /// it's in a failure state log the error(s) and exit.
1377 template <typename T> T& operator()(Expected<T&> &&E) const {
1378 checkError(E.takeError());
1379 return *E;
1380 }
1381
1382private:
1383 void checkError(Error Err) const {
1384 if (Err) {
1385 int ExitCode = GetExitCode(Err);
1386 logAllUnhandledErrors(std::move(Err), errs(), Banner);
1387 exit(ExitCode);
1388 }
1389 }
1390
1391 std::string Banner;
1392 std::function<int(const Error &)> GetExitCode;
1393};
1394
1395/// Conversion from Error to LLVMErrorRef for C error bindings.
1396inline LLVMErrorRef wrap(Error Err) {
1397 return reinterpret_cast<LLVMErrorRef>(Err.takePayload().release());
1398}
1399
1400/// Conversion from LLVMErrorRef to Error for C error bindings.
1401inline Error unwrap(LLVMErrorRef ErrRef) {
1402 return Error(std::unique_ptr<ErrorInfoBase>(
1403 reinterpret_cast<ErrorInfoBase *>(ErrRef)));
1404}
1405
1406} // end namespace llvm
1407
1408#endif // LLVM_SUPPORT_ERROR_H