/build/llvm-toolchain-snapshot-7~svn329677/lib/MC/MCParser/DarwinAsmParser.cpp

Bug Summary

File:	lib/MC/MCParser/DarwinAsmParser.cpp
Warning:	line 788, column 3 Use of memory after it is freed

Annotated Source Code

Press '?' to see keyboard shortcuts

Show analyzer invocation

clang -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name DarwinAsmParser.cpp -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-eagerly-assume -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 -mrelocation-model pic -pic-level 2 -mthread-model posix -fmath-errno -masm-verbose -mconstructor-aliases -munwind-tables -fuse-init-array -target-cpu x86-64 -dwarf-column-info -debugger-tuning=gdb -momit-leaf-frame-pointer -ffunction-sections -fdata-sections -resource-dir /usr/lib/llvm-7/lib/clang/7.0.0 -D _DEBUG -D _GNU_SOURCE -D __STDC_CONSTANT_MACROS -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -I /build/llvm-toolchain-snapshot-7~svn329677/build-llvm/lib/MC/MCParser -I /build/llvm-toolchain-snapshot-7~svn329677/lib/MC/MCParser -I /build/llvm-toolchain-snapshot-7~svn329677/build-llvm/include -I /build/llvm-toolchain-snapshot-7~svn329677/include -U NDEBUG -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.3.0/../../../../include/c++/7.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.3.0/../../../../include/x86_64-linux-gnu/c++/7.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.3.0/../../../../include/x86_64-linux-gnu/c++/7.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.3.0/../../../../include/c++/7.3.0/backward -internal-isystem /usr/include/clang/7.0.0/include/ -internal-isystem /usr/local/include -internal-isystem /usr/lib/llvm-7/lib/clang/7.0.0/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O2 -Wno-unused-parameter -Wwrite-strings -Wno-missing-field-initializers -Wno-long-long -Wno-maybe-uninitialized -Wno-comment -std=c++11 -fdeprecated-macro -fdebug-compilation-dir /build/llvm-toolchain-snapshot-7~svn329677/build-llvm/lib/MC/MCParser -ferror-limit 19 -fmessage-length 0 -fvisibility-inlines-hidden -fobjc-runtime=gcc -fdiagnostics-show-option -vectorize-loops -vectorize-slp -analyzer-checker optin.performance.Padding -analyzer-output=html -analyzer-config stable-report-filename=true -o /tmp/scan-build-2018-04-11-031539-24776-1 -x c++ /build/llvm-toolchain-snapshot-7~svn329677/lib/MC/MCParser/DarwinAsmParser.cpp

/build/llvm-toolchain-snapshot-7~svn329677/lib/MC/MCParser/DarwinAsmParser.cpp

→

1//===- DarwinAsmParser.cpp - Darwin (Mach-O) Assembly Parser --------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//

10#include "llvm/ADT/STLExtras.h"
11#include "llvm/ADT/SmallVector.h"
12#include "llvm/ADT/StringRef.h"
13#include "llvm/ADT/StringSwitch.h"
14#include "llvm/ADT/Triple.h"
15#include "llvm/ADT/Twine.h"
16#include "llvm/BinaryFormat/MachO.h"
17#include "llvm/MC/MCContext.h"
18#include "llvm/MC/MCDirectives.h"
19#include "llvm/MC/MCObjectFileInfo.h"
20#include "llvm/MC/MCParser/MCAsmLexer.h"
21#include "llvm/MC/MCParser/MCAsmParser.h"
22#include "llvm/MC/MCParser/MCAsmParserExtension.h"
23#include "llvm/MC/MCSectionMachO.h"
24#include "llvm/MC/MCStreamer.h"
25#include "llvm/MC/MCSymbol.h"
26#include "llvm/MC/SectionKind.h"
27#include "llvm/Support/FileSystem.h"
28#include "llvm/Support/MemoryBuffer.h"
29#include "llvm/Support/SMLoc.h"
30#include "llvm/Support/SourceMgr.h"
31#include "llvm/Support/raw_ostream.h"
32#include <algorithm>
33#include <cstddef>
34#include <cstdint>
35#include <string>
36#include <system_error>
37#include <utility>

39using namespace llvm;

41namespace {

43/// \brief Implementation of directive handling which is shared across all
44/// Darwin targets.
45class DarwinAsmParser : public MCAsmParserExtension {
template<bool (DarwinAsmParser::*HandlerMethod)(StringRef, SMLoc)>
void addDirectiveHandler(StringRef Directive) {
  MCAsmParser::ExtensionDirectiveHandler Handler = std::make_pair(
      this, HandleDirective<DarwinAsmParser, HandlerMethod>);
  getParser().addDirectiveHandler(Directive, Handler);
}

bool parseSectionSwitch(StringRef Segment, StringRef Section,
                        unsigned TAA = 0, unsigned ImplicitAlign = 0,
                        unsigned StubSize = 0);

SMLoc LastVersionDirective;

59public:
DarwinAsmParser() = default;

void Initialize(MCAsmParser &Parser) override {
  // Call the base implementation.
  this->MCAsmParserExtension::Initialize(Parser);

  addDirectiveHandler<&DarwinAsmParser::parseDirectiveAltEntry>(".alt_entry");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveDesc>(".desc");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveIndirectSymbol>(
    ".indirect_symbol");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveLsym>(".lsym");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveSubsectionsViaSymbols>(
    ".subsections_via_symbols");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveDumpOrLoad>(".dump");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveDumpOrLoad>(".load");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveSection>(".section");
  addDirectiveHandler<&DarwinAsmParser::parseDirectivePushSection>(
    ".pushsection");
  addDirectiveHandler<&DarwinAsmParser::parseDirectivePopSection>(
    ".popsection");
  addDirectiveHandler<&DarwinAsmParser::parseDirectivePrevious>(".previous");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveSecureLogUnique>(
    ".secure_log_unique");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveSecureLogReset>(
    ".secure_log_reset");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveTBSS>(".tbss");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveZerofill>(".zerofill");

  addDirectiveHandler<&DarwinAsmParser::parseDirectiveDataRegion>(
    ".data_region");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveDataRegionEnd>(
    ".end_data_region");

  // Special section directives.
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveBss>(".bss");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveConst>(".const");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveConstData>(
    ".const_data");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveConstructor>(
    ".constructor");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveCString>(
    ".cstring");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveData>(".data");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveDestructor>(
    ".destructor");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveDyld>(".dyld");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveFVMLibInit0>(
    ".fvmlib_init0");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveFVMLibInit1>(
    ".fvmlib_init1");
  addDirectiveHandler<
    &DarwinAsmParser::parseSectionDirectiveLazySymbolPointers>(
      ".lazy_symbol_pointer");
  addDirectiveHandler<&DarwinAsmParser::parseDirectiveLinkerOption>(
    ".linker_option");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveLiteral16>(
    ".literal16");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveLiteral4>(
    ".literal4");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveLiteral8>(
    ".literal8");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveModInitFunc>(
    ".mod_init_func");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveModTermFunc>(
    ".mod_term_func");
  addDirectiveHandler<
    &DarwinAsmParser::parseSectionDirectiveNonLazySymbolPointers>(
      ".non_lazy_symbol_pointer");
  addDirectiveHandler<
    &DarwinAsmParser::parseSectionDirectiveThreadLocalVariablePointers>(
      ".thread_local_variable_pointer");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCCatClsMeth>(
    ".objc_cat_cls_meth");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCCatInstMeth>(
    ".objc_cat_inst_meth");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCCategory>(
    ".objc_category");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCClass>(
    ".objc_class");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCClassNames>(
    ".objc_class_names");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCClassVars>(
    ".objc_class_vars");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCClsMeth>(
    ".objc_cls_meth");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCClsRefs>(
    ".objc_cls_refs");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCInstMeth>(
    ".objc_inst_meth");
  addDirectiveHandler<
    &DarwinAsmParser::parseSectionDirectiveObjCInstanceVars>(
      ".objc_instance_vars");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCMessageRefs>(
    ".objc_message_refs");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCMetaClass>(
    ".objc_meta_class");
  addDirectiveHandler<
    &DarwinAsmParser::parseSectionDirectiveObjCMethVarNames>(
      ".objc_meth_var_names");
  addDirectiveHandler<
    &DarwinAsmParser::parseSectionDirectiveObjCMethVarTypes>(
      ".objc_meth_var_types");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCModuleInfo>(
    ".objc_module_info");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCProtocol>(
    ".objc_protocol");
  addDirectiveHandler<
    &DarwinAsmParser::parseSectionDirectiveObjCSelectorStrs>(
      ".objc_selector_strs");
  addDirectiveHandler<
    &DarwinAsmParser::parseSectionDirectiveObjCStringObject>(
      ".objc_string_object");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveObjCSymbols>(
    ".objc_symbols");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectivePICSymbolStub>(
    ".picsymbol_stub");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveStaticConst>(
    ".static_const");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveStaticData>(
    ".static_data");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveSymbolStub>(
    ".symbol_stub");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveTData>(".tdata");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveText>(".text");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveThreadInitFunc>(
    ".thread_init_func");
  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveTLV>(".tlv");

  addDirectiveHandler<&DarwinAsmParser::parseSectionDirectiveIdent>(".ident");
  addDirectiveHandler<&DarwinAsmParser::parseWatchOSVersionMin>(
    ".watchos_version_min");
  addDirectiveHandler<&DarwinAsmParser::parseTvOSVersionMin>(
    ".tvos_version_min");
  addDirectiveHandler<&DarwinAsmParser::parseIOSVersionMin>(
    ".ios_version_min");
  addDirectiveHandler<&DarwinAsmParser::parseMacOSXVersionMin>(
    ".macosx_version_min");
  addDirectiveHandler<&DarwinAsmParser::parseBuildVersion>(".build_version");

  LastVersionDirective = SMLoc();
}

bool parseDirectiveAltEntry(StringRef, SMLoc);
bool parseDirectiveDesc(StringRef, SMLoc);
bool parseDirectiveIndirectSymbol(StringRef, SMLoc);
bool parseDirectiveDumpOrLoad(StringRef, SMLoc);
bool parseDirectiveLsym(StringRef, SMLoc);
bool parseDirectiveLinkerOption(StringRef, SMLoc);
bool parseDirectiveSection(StringRef, SMLoc);
bool parseDirectivePushSection(StringRef, SMLoc);
bool parseDirectivePopSection(StringRef, SMLoc);
bool parseDirectivePrevious(StringRef, SMLoc);
bool parseDirectiveSecureLogReset(StringRef, SMLoc);
bool parseDirectiveSecureLogUnique(StringRef, SMLoc);
bool parseDirectiveSubsectionsViaSymbols(StringRef, SMLoc);
bool parseDirectiveTBSS(StringRef, SMLoc);
bool parseDirectiveZerofill(StringRef, SMLoc);
bool parseDirectiveDataRegion(StringRef, SMLoc);
bool parseDirectiveDataRegionEnd(StringRef, SMLoc);

// Named Section Directive
bool parseSectionDirectiveBss(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__bss");
}

bool parseSectionDirectiveConst(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT", "__const");
}

bool parseSectionDirectiveStaticConst(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT", "__static_const");
}

bool parseSectionDirectiveCString(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT","__cstring",
                            MachO::S_CSTRING_LITERALS);
}

bool parseSectionDirectiveLiteral4(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT", "__literal4",
                            MachO::S_4BYTE_LITERALS, 4);
}

bool parseSectionDirectiveLiteral8(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT", "__literal8",
                            MachO::S_8BYTE_LITERALS, 8);
}

bool parseSectionDirectiveLiteral16(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT","__literal16",
                            MachO::S_16BYTE_LITERALS, 16);
}

bool parseSectionDirectiveConstructor(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT","__constructor");
}

bool parseSectionDirectiveDestructor(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT","__destructor");
}

bool parseSectionDirectiveFVMLibInit0(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT","__fvmlib_init0");
}

bool parseSectionDirectiveFVMLibInit1(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT","__fvmlib_init1");
}

bool parseSectionDirectiveSymbolStub(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT","__symbol_stub",
                            MachO::S_SYMBOL_STUBS |
                            MachO::S_ATTR_PURE_INSTRUCTIONS,
                            // FIXME: Different on PPC and ARM.
                            0, 16);
}

bool parseSectionDirectivePICSymbolStub(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT","__picsymbol_stub",
                            MachO::S_SYMBOL_STUBS |
                            MachO::S_ATTR_PURE_INSTRUCTIONS, 0, 26);
}

bool parseSectionDirectiveData(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__data");
}

bool parseSectionDirectiveStaticData(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__static_data");
}

bool parseSectionDirectiveNonLazySymbolPointers(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__nl_symbol_ptr",
                            MachO::S_NON_LAZY_SYMBOL_POINTERS, 4);
}

bool parseSectionDirectiveLazySymbolPointers(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__la_symbol_ptr",
                            MachO::S_LAZY_SYMBOL_POINTERS, 4);
}

bool parseSectionDirectiveThreadLocalVariablePointers(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__thread_ptr",
                            MachO::S_THREAD_LOCAL_VARIABLE_POINTERS, 4);
}

bool parseSectionDirectiveDyld(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__dyld");
}

bool parseSectionDirectiveModInitFunc(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__mod_init_func",
                            MachO::S_MOD_INIT_FUNC_POINTERS, 4);
}

bool parseSectionDirectiveModTermFunc(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__mod_term_func",
                            MachO::S_MOD_TERM_FUNC_POINTERS, 4);
}

bool parseSectionDirectiveConstData(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__const");
}

bool parseSectionDirectiveObjCClass(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__class",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCMetaClass(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__meta_class",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCCatClsMeth(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__cat_cls_meth",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCCatInstMeth(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__cat_inst_meth",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCProtocol(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__protocol",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCStringObject(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__string_object",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCClsMeth(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__cls_meth",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCInstMeth(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__inst_meth",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCClsRefs(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__cls_refs",
                            MachO::S_ATTR_NO_DEAD_STRIP |
                            MachO::S_LITERAL_POINTERS, 4);
}

bool parseSectionDirectiveObjCMessageRefs(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__message_refs",
                            MachO::S_ATTR_NO_DEAD_STRIP |
                            MachO::S_LITERAL_POINTERS, 4);
}

bool parseSectionDirectiveObjCSymbols(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__symbols",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCCategory(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__category",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCClassVars(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__class_vars",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCInstanceVars(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__instance_vars",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCModuleInfo(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__module_info",
                            MachO::S_ATTR_NO_DEAD_STRIP);
}

bool parseSectionDirectiveObjCClassNames(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT", "__cstring",
                            MachO::S_CSTRING_LITERALS);
}

bool parseSectionDirectiveObjCMethVarTypes(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT", "__cstring",
                            MachO::S_CSTRING_LITERALS);
}

bool parseSectionDirectiveObjCMethVarNames(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT", "__cstring",
                            MachO::S_CSTRING_LITERALS);
}

bool parseSectionDirectiveObjCSelectorStrs(StringRef, SMLoc) {
  return parseSectionSwitch("__OBJC", "__selector_strs",
                            MachO::S_CSTRING_LITERALS);
}

bool parseSectionDirectiveTData(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__thread_data",
                            MachO::S_THREAD_LOCAL_REGULAR);
}

bool parseSectionDirectiveText(StringRef, SMLoc) {
  return parseSectionSwitch("__TEXT", "__text",
                            MachO::S_ATTR_PURE_INSTRUCTIONS);
}

bool parseSectionDirectiveTLV(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__thread_vars",
                            MachO::S_THREAD_LOCAL_VARIABLES);
}

bool parseSectionDirectiveIdent(StringRef, SMLoc) {
  // Darwin silently ignores the .ident directive.
  getParser().eatToEndOfStatement();
  return false;
}

bool parseSectionDirectiveThreadInitFunc(StringRef, SMLoc) {
  return parseSectionSwitch("__DATA", "__thread_init",
                       MachO::S_THREAD_LOCAL_INIT_FUNCTION_POINTERS);
}

bool parseWatchOSVersionMin(StringRef Directive, SMLoc Loc) {
  return parseVersionMin(Directive, Loc, MCVM_WatchOSVersionMin);
}
bool parseTvOSVersionMin(StringRef Directive, SMLoc Loc) {
  return parseVersionMin(Directive, Loc, MCVM_TvOSVersionMin);
}
bool parseIOSVersionMin(StringRef Directive, SMLoc Loc) {
  return parseVersionMin(Directive, Loc, MCVM_IOSVersionMin);
}
bool parseMacOSXVersionMin(StringRef Directive, SMLoc Loc) {
  return parseVersionMin(Directive, Loc, MCVM_OSXVersionMin);
}

bool parseBuildVersion(StringRef Directive, SMLoc Loc);
bool parseVersionMin(StringRef Directive, SMLoc Loc, MCVersionMinType Type);
bool parseVersion(unsigned *Major, unsigned *Minor, unsigned *Update);
void checkVersion(StringRef Directive, StringRef Arg, SMLoc Loc,
                  Triple::OSType ExpectedOS);
465};

467} // end anonymous namespace

469bool DarwinAsmParser::parseSectionSwitch(StringRef Segment, StringRef Section,
                                       unsigned TAA, unsigned Align,
                                       unsigned StubSize) {
if (getLexer().isNot(AsmToken::EndOfStatement))
  return TokError("unexpected token in section switching directive");
Lex();

// FIXME: Arch specific.
bool isText = TAA & MachO::S_ATTR_PURE_INSTRUCTIONS;
getStreamer().SwitchSection(getContext().getMachOSection(
    Segment, Section, TAA, StubSize,
    isText ? SectionKind::getText() : SectionKind::getData()));

// Set the implicit alignment, if any.
//
// FIXME: This isn't really what 'as' does; I think it just uses the implicit
// alignment on the section (e.g., if one manually inserts bytes into the
// section, then just issuing the section switch directive will not realign
// the section. However, this is arguably more reasonable behavior, and there
// is no good reason for someone to intentionally emit incorrectly sized
// values into the implicitly aligned sections.
if (Align)
  getStreamer().EmitValueToAlignment(Align);

return false;
494}

496/// parseDirectiveAltEntry
497///  ::= .alt_entry identifier
498bool DarwinAsmParser::parseDirectiveAltEntry(StringRef, SMLoc) {
StringRef Name;
if (getParser().parseIdentifier(Name))
  return TokError("expected identifier in directive");

// Look up symbol.
MCSymbol *Sym = getContext().getOrCreateSymbol(Name);

if (Sym->isDefined())
  return TokError(".alt_entry must preceed symbol definition");

if (!getStreamer().EmitSymbolAttribute(Sym, MCSA_AltEntry))
  return TokError("unable to emit symbol attribute");

Lex();
return false;
514}

516/// parseDirectiveDesc
517///  ::= .desc identifier , expression
518bool DarwinAsmParser::parseDirectiveDesc(StringRef, SMLoc) {
StringRef Name;
if (getParser().parseIdentifier(Name))
  return TokError("expected identifier in directive");

// Handle the identifier as the key symbol.
MCSymbol *Sym = getContext().getOrCreateSymbol(Name);

if (getLexer().isNot(AsmToken::Comma))
  return TokError("unexpected token in '.desc' directive");
Lex();

int64_t DescValue;
if (getParser().parseAbsoluteExpression(DescValue))
  return true;

if (getLexer().isNot(AsmToken::EndOfStatement))
  return TokError("unexpected token in '.desc' directive");

Lex();

// Set the n_desc field of this Symbol to this DescValue
getStreamer().EmitSymbolDesc(Sym, DescValue);

return false;
543}

545/// parseDirectiveIndirectSymbol
546///  ::= .indirect_symbol identifier
547bool DarwinAsmParser::parseDirectiveIndirectSymbol(StringRef, SMLoc Loc) {
const MCSectionMachO *Current = static_cast<const MCSectionMachO *>(
    getStreamer().getCurrentSectionOnly());
MachO::SectionType SectionType = Current->getType();
if (SectionType != MachO::S_NON_LAZY_SYMBOL_POINTERS &&
    SectionType != MachO::S_LAZY_SYMBOL_POINTERS &&
    SectionType != MachO::S_THREAD_LOCAL_VARIABLE_POINTERS &&
    SectionType != MachO::S_SYMBOL_STUBS)
  return Error(Loc, "indirect symbol not in a symbol pointer or stub "
                    "section");

StringRef Name;
if (getParser().parseIdentifier(Name))
  return TokError("expected identifier in .indirect_symbol directive");

MCSymbol *Sym = getContext().getOrCreateSymbol(Name);

// Assembler local symbols don't make any sense here. Complain loudly.
if (Sym->isTemporary())
  return TokError("non-local symbol required in directive");

if (!getStreamer().EmitSymbolAttribute(Sym, MCSA_IndirectSymbol))
  return TokError("unable to emit indirect symbol attribute for: " + Name);

if (getLexer().isNot(AsmToken::EndOfStatement))
  return TokError("unexpected token in '.indirect_symbol' directive");

Lex();

return false;
577}

579/// parseDirectiveDumpOrLoad
580///  ::= ( .dump | .load ) "filename"
581bool DarwinAsmParser::parseDirectiveDumpOrLoad(StringRef Directive,
                                             SMLoc IDLoc) {
bool IsDump = Directive == ".dump";
if (getLexer().isNot(AsmToken::String))
  return TokError("expected string in '.dump' or '.load' directive");

Lex();

if (getLexer().isNot(AsmToken::EndOfStatement))
  return TokError("unexpected token in '.dump' or '.load' directive");

Lex();

// FIXME: If/when .dump and .load are implemented they will be done in the
// the assembly parser and not have any need for an MCStreamer API.
if (IsDump)
  return Warning(IDLoc, "ignoring directive .dump for now");
else
  return Warning(IDLoc, "ignoring directive .load for now");
600}

602/// ParseDirectiveLinkerOption
603///  ::= .linker_option "string" ( , "string" )*
604bool DarwinAsmParser::parseDirectiveLinkerOption(StringRef IDVal, SMLoc) {
SmallVector<std::string, 4> Args;
while (true) {
  if (getLexer().isNot(AsmToken::String))
    return TokError("expected string in '" + Twine(IDVal) + "' directive");

  std::string Data;
  if (getParser().parseEscapedString(Data))
    return true;

  Args.push_back(Data);

  if (getLexer().is(AsmToken::EndOfStatement))
    break;

  if (getLexer().isNot(AsmToken::Comma))
    return TokError("unexpected token in '" + Twine(IDVal) + "' directive");
  Lex();
}

getStreamer().EmitLinkerOptions(Args);
return false;
626}

628/// parseDirectiveLsym
629///  ::= .lsym identifier , expression
630bool DarwinAsmParser::parseDirectiveLsym(StringRef, SMLoc) {
StringRef Name;
if (getParser().parseIdentifier(Name))
  return TokError("expected identifier in directive");

// Handle the identifier as the key symbol.
MCSymbol *Sym = getContext().getOrCreateSymbol(Name);

if (getLexer().isNot(AsmToken::Comma))
  return TokError("unexpected token in '.lsym' directive");
Lex();

const MCExpr *Value;
if (getParser().parseExpression(Value))
  return true;

if (getLexer().isNot(AsmToken::EndOfStatement))
  return TokError("unexpected token in '.lsym' directive");

Lex();

// We don't currently support this directive.
//
// FIXME: Diagnostic location!
(void) Sym;
return TokError("directive '.lsym' is unsupported");
656}

658/// parseDirectiveSection:
659///   ::= .section identifier (',' identifier)*
660bool DarwinAsmParser::parseDirectiveSection(StringRef, SMLoc) {
SMLoc Loc = getLexer().getLoc();

StringRef SectionName;
if (getParser().parseIdentifier(SectionName))
  return Error(Loc, "expected identifier after '.section' directive");

// Verify there is a following comma.
if (!getLexer().is(AsmToken::Comma))
  return TokError("unexpected token in '.section' directive");

std::string SectionSpec = SectionName;
SectionSpec += ",";

// Add all the tokens until the end of the line, ParseSectionSpecifier will
// handle this.
StringRef EOL = getLexer().LexUntilEndOfStatement();
SectionSpec.append(EOL.begin(), EOL.end());

Lex();
if (getLexer().isNot(AsmToken::EndOfStatement))
  return TokError("unexpected token in '.section' directive");
Lex();

StringRef Segment, Section;
unsigned StubSize;
unsigned TAA;
bool TAAParsed;
std::string ErrorStr =
  MCSectionMachO::ParseSectionSpecifier(SectionSpec, Segment, Section,
                                        TAA, TAAParsed, StubSize);

if (!ErrorStr.empty())
  return Error(Loc, ErrorStr);

// Issue a warning if the target is not powerpc and Section is a *coal* section.
Triple TT = getParser().getContext().getObjectFileInfo()->getTargetTriple();
Triple::ArchType ArchTy = TT.getArch();

if (ArchTy != Triple::ppc && ArchTy != Triple::ppc64) {
  StringRef NonCoalSection = StringSwitch<StringRef>(Section)
                                 .Case("__textcoal_nt", "__text")
                                 .Case("__const_coal", "__const")
                                 .Case("__datacoal_nt", "__data")
                                 .Default(Section);

  if (!Section.equals(NonCoalSection)) {
    StringRef SectionVal(Loc.getPointer());
    size_t B = SectionVal.find(',') + 1, E = SectionVal.find(',', B);
    SMLoc BLoc = SMLoc::getFromPointer(SectionVal.data() + B);
    SMLoc ELoc = SMLoc::getFromPointer(SectionVal.data() + E);
    getParser().Warning(Loc, "section \"" + Section + "\" is deprecated",
                        SMRange(BLoc, ELoc));
    getParser().Note(Loc, "change section name to \"" + NonCoalSection +
                     "\"", SMRange(BLoc, ELoc));
  }
}

// FIXME: Arch specific.
bool isText = Segment == "__TEXT";  // FIXME: Hack.
getStreamer().SwitchSection(getContext().getMachOSection(
    Segment, Section, TAA, StubSize,
    isText ? SectionKind::getText() : SectionKind::getData()));
return false;
724}

726/// ParseDirectivePushSection:
727///   ::= .pushsection identifier (',' identifier)*
728bool DarwinAsmParser::parseDirectivePushSection(StringRef S, SMLoc Loc) {
getStreamer().PushSection();

if (parseDirectiveSection(S, Loc)) {
  getStreamer().PopSection();
  return true;
}

return false;
737}

739/// ParseDirectivePopSection:
740///   ::= .popsection
741bool DarwinAsmParser::parseDirectivePopSection(StringRef, SMLoc) {
if (!getStreamer().PopSection())
  return TokError(".popsection without corresponding .pushsection");
return false;
745}

747/// ParseDirectivePrevious:
748///   ::= .previous
749bool DarwinAsmParser::parseDirectivePrevious(StringRef DirName, SMLoc) {
MCSectionSubPair PreviousSection = getStreamer().getPreviousSection();
if (!PreviousSection.first)
  return TokError(".previous without corresponding .section");
getStreamer().SwitchSection(PreviousSection.first, PreviousSection.second);
return false;
755}

757/// ParseDirectiveSecureLogUnique
758///  ::= .secure_log_unique ... message ...
759bool DarwinAsmParser::parseDirectiveSecureLogUnique(StringRef, SMLoc IDLoc) {
StringRef LogMessage = getParser().parseStringToEndOfStatement();
if (getLexer().isNot(AsmToken::EndOfStatement))
1
Taking false branch→
  return TokError("unexpected token in '.secure_log_unique' directive");

if (getContext().getSecureLogUsed())
2
←
Assuming the condition is false→
3
←
Taking false branch→
  return Error(IDLoc, ".secure_log_unique specified multiple times");

// Get the secure log path.
const char *SecureLogFile = getContext().getSecureLogFile();
if (!SecureLogFile)
4
←
Assuming 'SecureLogFile' is non-null→
5
←
Taking false branch→
  return Error(IDLoc, ".secure_log_unique used but AS_SECURE_LOG_FILE "
               "environment variable unset.");

// Open the secure log file if we haven't already.
raw_fd_ostream *OS = getContext().getSecureLog();
if (!OS) {
6
←
Assuming 'OS' is null→
7
←
Taking true branch→
  std::error_code EC;
  auto NewOS = llvm::make_unique<raw_fd_ostream>(
8
←
Calling 'make_unique'→
10
←
Returned allocated memory→
      StringRef(SecureLogFile), EC, sys::fs::F_Append | sys::fs::F_Text);
  if (EC)
11
←
Taking false branch→
     return Error(IDLoc, Twine("can't open secure log file: ") +
                             SecureLogFile + " (" + EC.message() + ")");
  OS = NewOS.get();
  getContext().setSecureLog(std::move(NewOS));
12
←
Calling '~unique_ptr'→
17
←
Returning from '~unique_ptr'→
}

// Write the message.
unsigned CurBuf = getSourceManager().FindBufferContainingLoc(IDLoc);
*OS << getSourceManager().getBufferInfo(CurBuf).Buffer->getBufferIdentifier()
18
←
Use of memory after it is freed
    << ":" << getSourceManager().FindLineNumber(IDLoc, CurBuf) << ":"
    << LogMessage + "\n";

getContext().setSecureLogUsed(true);

return false;
795}

797/// ParseDirectiveSecureLogReset
798///  ::= .secure_log_reset
799bool DarwinAsmParser::parseDirectiveSecureLogReset(StringRef, SMLoc IDLoc) {
if (getLexer().isNot(AsmToken::EndOfStatement))
  return TokError("unexpected token in '.secure_log_reset' directive");

Lex();

getContext().setSecureLogUsed(false);

return false;
808}

810/// parseDirectiveSubsectionsViaSymbols
811///  ::= .subsections_via_symbols
812bool DarwinAsmParser::parseDirectiveSubsectionsViaSymbols(StringRef, SMLoc) {
if (getLexer().isNot(AsmToken::EndOfStatement))
  return TokError("unexpected token in '.subsections_via_symbols' directive");

Lex();

getStreamer().EmitAssemblerFlag(MCAF_SubsectionsViaSymbols);

return false;
821}

823/// ParseDirectiveTBSS
824///  ::= .tbss identifier, size, align
825bool DarwinAsmParser::parseDirectiveTBSS(StringRef, SMLoc) {
SMLoc IDLoc = getLexer().getLoc();
StringRef Name;
if (getParser().parseIdentifier(Name))
  return TokError("expected identifier in directive");

// Handle the identifier as the key symbol.
MCSymbol *Sym = getContext().getOrCreateSymbol(Name);

if (getLexer().isNot(AsmToken::Comma))
  return TokError("unexpected token in directive");
Lex();

int64_t Size;
SMLoc SizeLoc = getLexer().getLoc();
if (getParser().parseAbsoluteExpression(Size))
  return true;

int64_t Pow2Alignment = 0;
SMLoc Pow2AlignmentLoc;
if (getLexer().is(AsmToken::Comma)) {
  Lex();
  Pow2AlignmentLoc = getLexer().getLoc();
  if (getParser().parseAbsoluteExpression(Pow2Alignment))
    return true;
}

if (getLexer().isNot(AsmToken::EndOfStatement))
  return TokError("unexpected token in '.tbss' directive");

Lex();

if (Size < 0)
  return Error(SizeLoc, "invalid '.tbss' directive size, can't be less than"
               "zero");

// FIXME: Diagnose overflow.
if (Pow2Alignment < 0)
  return Error(Pow2AlignmentLoc, "invalid '.tbss' alignment, can't be less"
               "than zero");

if (!Sym->isUndefined())
  return Error(IDLoc, "invalid symbol redefinition");

getStreamer().EmitTBSSSymbol(getContext().getMachOSection(
                               "__DATA", "__thread_bss",
                               MachO::S_THREAD_LOCAL_ZEROFILL,
                               0, SectionKind::getThreadBSS()),
                             Sym, Size, 1 << Pow2Alignment);

return false;
876}

878/// ParseDirectiveZerofill
879///  ::= .zerofill segname , sectname [, identifier , size_expression [
880///      , align_expression ]]
881bool DarwinAsmParser::parseDirectiveZerofill(StringRef, SMLoc) {
StringRef Segment;
if (getParser().parseIdentifier(Segment))
  return TokError("expected segment name after '.zerofill' directive");

if (getLexer().isNot(AsmToken::Comma))
  return TokError("unexpected token in directive");
Lex();

StringRef Section;
if (getParser().parseIdentifier(Section))
  return TokError("expected section name after comma in '.zerofill' "
                  "directive");

// If this is the end of the line all that was wanted was to create the
// the section but with no symbol.
if (getLexer().is(AsmToken::EndOfStatement)) {
  // Create the zerofill section but no symbol
  getStreamer().EmitZerofill(getContext().getMachOSection(
                               Segment, Section, MachO::S_ZEROFILL,
                               0, SectionKind::getBSS()));
  return false;
}

if (getLexer().isNot(AsmToken::Comma))
  return TokError("unexpected token in directive");
Lex();

SMLoc IDLoc = getLexer().getLoc();
StringRef IDStr;
if (getParser().parseIdentifier(IDStr))
  return TokError("expected identifier in directive");

// handle the identifier as the key symbol.
MCSymbol *Sym = getContext().getOrCreateSymbol(IDStr);

if (getLexer().isNot(AsmToken::Comma))
  return TokError("unexpected token in directive");
Lex();

int64_t Size;
SMLoc SizeLoc = getLexer().getLoc();
if (getParser().parseAbsoluteExpression(Size))
  return true;

int64_t Pow2Alignment = 0;
SMLoc Pow2AlignmentLoc;
if (getLexer().is(AsmToken::Comma)) {
  Lex();
  Pow2AlignmentLoc = getLexer().getLoc();
  if (getParser().parseAbsoluteExpression(Pow2Alignment))
    return true;
}

if (getLexer().isNot(AsmToken::EndOfStatement))
  return TokError("unexpected token in '.zerofill' directive");

Lex();

if (Size < 0)
  return Error(SizeLoc, "invalid '.zerofill' directive size, can't be less "
               "than zero");

// NOTE: The alignment in the directive is a power of 2 value, the assembler
// may internally end up wanting an alignment in bytes.
// FIXME: Diagnose overflow.
if (Pow2Alignment < 0)
  return Error(Pow2AlignmentLoc, "invalid '.zerofill' directive alignment, "
               "can't be less than zero");

if (!Sym->isUndefined())
  return Error(IDLoc, "invalid symbol redefinition");

// Create the zerofill Symbol with Size and Pow2Alignment
//
// FIXME: Arch specific.
getStreamer().EmitZerofill(getContext().getMachOSection(
                             Segment, Section, MachO::S_ZEROFILL,
                             0, SectionKind::getBSS()),
                           Sym, Size, 1 << Pow2Alignment);

return false;
963}

965/// ParseDirectiveDataRegion
966///  ::= .data_region [ ( jt8 | jt16 | jt32 ) ]
967bool DarwinAsmParser::parseDirectiveDataRegion(StringRef, SMLoc) {
if (getLexer().is(AsmToken::EndOfStatement)) {
  Lex();
  getStreamer().EmitDataRegion(MCDR_DataRegion);
  return false;
}
StringRef RegionType;
SMLoc Loc = getParser().getTok().getLoc();
if (getParser().parseIdentifier(RegionType))
  return TokError("expected region type after '.data_region' directive");
int Kind = StringSwitch<int>(RegionType)
  .Case("jt8", MCDR_DataRegionJT8)
  .Case("jt16", MCDR_DataRegionJT16)
  .Case("jt32", MCDR_DataRegionJT32)
  .Default(-1);
if (Kind == -1)
  return Error(Loc, "unknown region type in '.data_region' directive");
Lex();

getStreamer().EmitDataRegion((MCDataRegionType)Kind);
return false;
988}

990/// ParseDirectiveDataRegionEnd
991///  ::= .end_data_region
992bool DarwinAsmParser::parseDirectiveDataRegionEnd(StringRef, SMLoc) {
if (getLexer().isNot(AsmToken::EndOfStatement))
  return TokError("unexpected token in '.end_data_region' directive");

Lex();
getStreamer().EmitDataRegion(MCDR_DataRegionEnd);
return false;
999}

1001/// parseVersion ::= major, minor [, update]
1002bool DarwinAsmParser::parseVersion(unsigned *Major, unsigned *Minor,
                                 unsigned *Update) {
// Get the major version number.
if (getLexer().isNot(AsmToken::Integer))
  return TokError("invalid OS major version number, integer expected");
int64_t MajorVal = getLexer().getTok().getIntVal();
if (MajorVal > 65535 || MajorVal <= 0)
  return TokError("invalid OS major version number");
*Major = (unsigned)MajorVal;
Lex();
if (getLexer().isNot(AsmToken::Comma))
  return TokError("OS minor version number required, comma expected");
Lex();
// Get the minor version number.
if (getLexer().isNot(AsmToken::Integer))
  return TokError("invalid OS minor version number, integer expected");
int64_t MinorVal = getLexer().getTok().getIntVal();
if (MinorVal > 255 || MinorVal < 0)
  return TokError("invalid OS minor version number");
*Minor = MinorVal;
Lex();

// Get the update level, if specified
*Update = 0;
if (getLexer().is(AsmToken::EndOfStatement))
  return false;
if (getLexer().isNot(AsmToken::Comma))
  return TokError("invalid OS update specifier, comma expected");
Lex();
if (getLexer().isNot(AsmToken::Integer))
  return TokError("invalid OS update version number, integer expected");
int64_t UpdateVal = getLexer().getTok().getIntVal();
if (UpdateVal > 255 || UpdateVal < 0)
  return TokError("invalid OS update version number");
*Update = UpdateVal;
Lex();
return false;
1039}

1041void DarwinAsmParser::checkVersion(StringRef Directive, StringRef Arg,
                                 SMLoc Loc, Triple::OSType ExpectedOS) {
const Triple &Target = getContext().getObjectFileInfo()->getTargetTriple();
if (Target.getOS() != ExpectedOS)
  Warning(Loc, Twine(Directive) +
          (Arg.empty() ? Twine() : Twine(' ') + Arg) +
          " used while targeting " + Target.getOSName());

if (LastVersionDirective.isValid()) {
  Warning(Loc, "overriding previous version directive");
  Note(LastVersionDirective, "previous definition is here");
}
LastVersionDirective = Loc;
1054}

1056static Triple::OSType getOSTypeFromMCVM(MCVersionMinType Type) {
switch (Type) {
case MCVM_WatchOSVersionMin: return Triple::WatchOS;
case MCVM_TvOSVersionMin:    return Triple::TvOS;
case MCVM_IOSVersionMin:     return Triple::IOS;
case MCVM_OSXVersionMin:     return Triple::MacOSX;
}
llvm_unreachable("Invalid mc version min type")::llvm::llvm_unreachable_internal("Invalid mc version min type"
, "/build/llvm-toolchain-snapshot-7~svn329677/lib/MC/MCParser/DarwinAsmParser.cpp"
, 1063);
1064}

1066/// parseVersionMin
1067///   ::= .ios_version_min parseVersion
1068///   |   .macosx_version_min parseVersion
1069///   |   .tvos_version_min parseVersion
1070///   |   .watchos_version_min parseVersion
1071bool DarwinAsmParser::parseVersionMin(StringRef Directive, SMLoc Loc,
                                    MCVersionMinType Type) {
unsigned Major;
unsigned Minor;
unsigned Update;
if (parseVersion(&Major, &Minor, &Update))
  return true;

if (parseToken(AsmToken::EndOfStatement))
  return addErrorSuffix(Twine(" in '") + Directive + "' directive");

Triple::OSType ExpectedOS = getOSTypeFromMCVM(Type);
checkVersion(Directive, StringRef(), Loc, ExpectedOS);

getStreamer().EmitVersionMin(Type, Major, Minor, Update);
return false;
1087}

1089static Triple::OSType getOSTypeFromPlatform(MachO::PlatformType Type) {
switch (Type) {
case MachO::PLATFORM_MACOS:   return Triple::MacOSX;
case MachO::PLATFORM_IOS:     return Triple::IOS;
case MachO::PLATFORM_TVOS:    return Triple::TvOS;
case MachO::PLATFORM_WATCHOS: return Triple::WatchOS;
case MachO::PLATFORM_BRIDGEOS: /* silence warning */break;
}
llvm_unreachable("Invalid mach-o platform type")::llvm::llvm_unreachable_internal("Invalid mach-o platform type"
, "/build/llvm-toolchain-snapshot-7~svn329677/lib/MC/MCParser/DarwinAsmParser.cpp"
, 1097);
1098}

1100/// parseBuildVersion
1101///   ::= .build_version (macos|ios|tvos|watchos), parseVersion
1102bool DarwinAsmParser::parseBuildVersion(StringRef Directive, SMLoc Loc) {
StringRef PlatformName;
SMLoc PlatformLoc = getTok().getLoc();
if (getParser().parseIdentifier(PlatformName))
  return TokError("platform name expected");

unsigned Platform = StringSwitch<unsigned>(PlatformName)
  .Case("macos", MachO::PLATFORM_MACOS)
  .Case("ios", MachO::PLATFORM_IOS)
  .Case("tvos", MachO::PLATFORM_TVOS)
  .Case("watchos", MachO::PLATFORM_WATCHOS)
  .Default(0);
if (Platform == 0)
  return Error(PlatformLoc, "unknown platform name");

if (getLexer().isNot(AsmToken::Comma))
  return TokError("version number required, comma expected");
Lex();

unsigned Major;
unsigned Minor;
unsigned Update;
if (parseVersion(&Major, &Minor, &Update))
  return true;

if (parseToken(AsmToken::EndOfStatement))
  return addErrorSuffix(" in '.build_version' directive");

Triple::OSType ExpectedOS
  = getOSTypeFromPlatform((MachO::PlatformType)Platform);
checkVersion(Directive, PlatformName, Loc, ExpectedOS);

getStreamer().EmitBuildVersion(Platform, Major, Minor, Update);
return false;
1136}


1139namespace llvm {

1141MCAsmParserExtension *createDarwinAsmParser() {
return new DarwinAsmParser;
1143}

1145} // end llvm namespace

←

/build/llvm-toolchain-snapshot-7~svn329677/include/llvm/ADT/STLExtras.h

→

1//===- llvm/ADT/STLExtras.h - Useful STL related functions ------*- C++ -*-===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains some templates that are useful if you are working with the
11// STL at all.
12//
13// No library is required when using these functions.
14//
15//===----------------------------------------------------------------------===//
16 
17#ifndef LLVM_ADT_STLEXTRAS_H
18#define LLVM_ADT_STLEXTRAS_H
19 
20#include "llvm/ADT/Optional.h"
21#include "llvm/ADT/SmallVector.h"
22#include "llvm/ADT/iterator.h"
23#include "llvm/ADT/iterator_range.h"
24#include "llvm/Support/ErrorHandling.h"
25#include <algorithm>
26#include <cassert>
27#include <cstddef>
28#include <cstdint>
29#include <cstdlib>
30#include <functional>
31#include <initializer_list>
32#include <iterator>
33#include <limits>
34#include <memory>
35#include <tuple>
36#include <type_traits>
37#include <utility>
38 
39#ifdef EXPENSIVE_CHECKS
40#include <random> // for std::mt19937
41#endif
42 
43namespace llvm {
44 
45// Only used by compiler if both template types are the same.  Useful when
46// using SFINAE to test for the existence of member functions.
47template <typename T, T> struct SameType;
48 
49namespace detail {
50 
51template <typename RangeT>
52using IterOfRange = decltype(std::begin(std::declval<RangeT &>()));
53 
54template <typename RangeT>
55using ValueOfRange = typename std::remove_reference<decltype(
56    *std::begin(std::declval<RangeT &>()))>::type;
57 
58} // end namespace detail
59 
60//===----------------------------------------------------------------------===//
61//     Extra additions to <functional>
62//===----------------------------------------------------------------------===//
63 
64template <class Ty> struct identity {
65  using argument_type = Ty;
66 
67  Ty &operator()(Ty &self) const {
68    return self;
69  }
70  const Ty &operator()(const Ty &self) const {
71    return self;
72  }
73};
74 
75template <class Ty> struct less_ptr {
76  bool operator()(const Ty* left, const Ty* right) const {
77    return *left < *right;
78  }
79};
80 
81template <class Ty> struct greater_ptr {
82  bool operator()(const Ty* left, const Ty* right) const {
83    return *right < *left;
84  }
85};
86 
87/// An efficient, type-erasing, non-owning reference to a callable. This is
88/// intended for use as the type of a function parameter that is not used
89/// after the function in question returns.
90///
91/// This class does not own the callable, so it is not in general safe to store
92/// a function_ref.
93template<typename Fn> class function_ref;
94 
95template<typename Ret, typename ...Params>
96class function_ref<Ret(Params...)> {
97  Ret (*callback)(intptr_t callable, Params ...params) = nullptr;
98  intptr_t callable;
99 
100  template<typename Callable>
101  static Ret callback_fn(intptr_t callable, Params ...params) {
102    return (*reinterpret_cast<Callable*>(callable))(
103        std::forward<Params>(params)...);
104  }
105 
106public:
107  function_ref() = default;
108  function_ref(std::nullptr_t) {}
109 
110  template <typename Callable>
111  function_ref(Callable &&callable,
112               typename std::enable_if<
113                   !std::is_same<typename std::remove_reference<Callable>::type,
114                                 function_ref>::value>::type * = nullptr)
115      : callback(callback_fn<typename std::remove_reference<Callable>::type>),
116        callable(reinterpret_cast<intptr_t>(&callable)) {}
117 
118  Ret operator()(Params ...params) const {
119    return callback(callable, std::forward<Params>(params)...);
120  }
121 
122  operator bool() const { return callback; }
123};
124 
125// deleter - Very very very simple method that is used to invoke operator
126// delete on something.  It is used like this:
127//
128//   for_each(V.begin(), B.end(), deleter<Interval>);
129template <class T>
130inline void deleter(T *Ptr) {
131  delete Ptr;
132}
133 
134//===----------------------------------------------------------------------===//
135//     Extra additions to <iterator>
136//===----------------------------------------------------------------------===//
137 
138namespace adl_detail {
139 
140using std::begin;
141 
142template <typename ContainerTy>
143auto adl_begin(ContainerTy &&container)
144    -> decltype(begin(std::forward<ContainerTy>(container))) {
145  return begin(std::forward<ContainerTy>(container));
146}
147 
148using std::end;
149 
150template <typename ContainerTy>
151auto adl_end(ContainerTy &&container)
152    -> decltype(end(std::forward<ContainerTy>(container))) {
153  return end(std::forward<ContainerTy>(container));
154}
155 
156using std::swap;
157 
158template <typename T>
159void adl_swap(T &&lhs, T &&rhs) noexcept(noexcept(swap(std::declval<T>(),
160                                                       std::declval<T>()))) {
161  swap(std::forward<T>(lhs), std::forward<T>(rhs));
162}
163 
164} // end namespace adl_detail
165 
166template <typename ContainerTy>
167auto adl_begin(ContainerTy &&container)
168    -> decltype(adl_detail::adl_begin(std::forward<ContainerTy>(container))) {
169  return adl_detail::adl_begin(std::forward<ContainerTy>(container));
170}
171 
172template <typename ContainerTy>
173auto adl_end(ContainerTy &&container)
174    -> decltype(adl_detail::adl_end(std::forward<ContainerTy>(container))) {
175  return adl_detail::adl_end(std::forward<ContainerTy>(container));
176}
177 
178template <typename T>
179void adl_swap(T &&lhs, T &&rhs) noexcept(
180    noexcept(adl_detail::adl_swap(std::declval<T>(), std::declval<T>()))) {
181  adl_detail::adl_swap(std::forward<T>(lhs), std::forward<T>(rhs));
182}
183 
184// mapped_iterator - This is a simple iterator adapter that causes a function to
185// be applied whenever operator* is invoked on the iterator.
186 
187template <typename ItTy, typename FuncTy,
188          typename FuncReturnTy =
189            decltype(std::declval<FuncTy>()(*std::declval<ItTy>()))>
190class mapped_iterator
191    : public iterator_adaptor_base<
192             mapped_iterator<ItTy, FuncTy>, ItTy,
193             typename std::iterator_traits<ItTy>::iterator_category,
194             typename std::remove_reference<FuncReturnTy>::type> {
195public:
196  mapped_iterator(ItTy U, FuncTy F)
197    : mapped_iterator::iterator_adaptor_base(std::move(U)), F(std::move(F)) {}
198 
199  ItTy getCurrent() { return this->I; }
200 
201  FuncReturnTy operator*() { return F(*this->I); }
202 
203private:
204  FuncTy F;
205};
206 
207// map_iterator - Provide a convenient way to create mapped_iterators, just like
208// make_pair is useful for creating pairs...
209template <class ItTy, class FuncTy>
210inline mapped_iterator<ItTy, FuncTy> map_iterator(ItTy I, FuncTy F) {
211  return mapped_iterator<ItTy, FuncTy>(std::move(I), std::move(F));
212}
213 
214/// Helper to determine if type T has a member called rbegin().
215template <typename Ty> class has_rbegin_impl {
216  using yes = char[1];
217  using no = char[2];
218 
219  template <typename Inner>
220  static yes& test(Inner *I, decltype(I->rbegin()) * = nullptr);
221 
222  template <typename>
223  static no& test(...);
224 
225public:
226  static const bool value = sizeof(test<Ty>(nullptr)) == sizeof(yes);
227};
228 
229/// Metafunction to determine if T& or T has a member called rbegin().
230template <typename Ty>
231struct has_rbegin : has_rbegin_impl<typename std::remove_reference<Ty>::type> {
232};
233 
234// Returns an iterator_range over the given container which iterates in reverse.
235// Note that the container must have rbegin()/rend() methods for this to work.
236template <typename ContainerTy>
237auto reverse(ContainerTy &&C,
238             typename std::enable_if<has_rbegin<ContainerTy>::value>::type * =
239                 nullptr) -> decltype(make_range(C.rbegin(), C.rend())) {
240  return make_range(C.rbegin(), C.rend());
241}
242 
243// Returns a std::reverse_iterator wrapped around the given iterator.
244template <typename IteratorTy>
245std::reverse_iterator<IteratorTy> make_reverse_iterator(IteratorTy It) {
246  return std::reverse_iterator<IteratorTy>(It);
247}
248 
249// Returns an iterator_range over the given container which iterates in reverse.
250// Note that the container must have begin()/end() methods which return
251// bidirectional iterators for this to work.
252template <typename ContainerTy>
253auto reverse(
254    ContainerTy &&C,
255    typename std::enable_if<!has_rbegin<ContainerTy>::value>::type * = nullptr)
256    -> decltype(make_range(llvm::make_reverse_iterator(std::end(C)),
257                           llvm::make_reverse_iterator(std::begin(C)))) {
258  return make_range(llvm::make_reverse_iterator(std::end(C)),
259                    llvm::make_reverse_iterator(std::begin(C)));
260}
261 
262/// An iterator adaptor that filters the elements of given inner iterators.
263///
264/// The predicate parameter should be a callable object that accepts the wrapped
265/// iterator's reference type and returns a bool. When incrementing or
266/// decrementing the iterator, it will call the predicate on each element and
267/// skip any where it returns false.
268///
269/// \code
270///   int A[] = { 1, 2, 3, 4 };
271///   auto R = make_filter_range(A, [](int N) { return N % 2 == 1; });
272///   // R contains { 1, 3 }.
273/// \endcode
274template <typename WrappedIteratorT, typename PredicateT>
275class filter_iterator
276    : public iterator_adaptor_base<
277          filter_iterator<WrappedIteratorT, PredicateT>, WrappedIteratorT,
278          typename std::common_type<
279              std::forward_iterator_tag,
280              typename std::iterator_traits<
281                  WrappedIteratorT>::iterator_category>::type> {
282  using BaseT = iterator_adaptor_base<
283      filter_iterator<WrappedIteratorT, PredicateT>, WrappedIteratorT,
284      typename std::common_type<
285          std::forward_iterator_tag,
286          typename std::iterator_traits<WrappedIteratorT>::iterator_category>::
287          type>;
288 
289  struct PayloadType {
290    WrappedIteratorT End;
291    PredicateT Pred;
292  };
293 
294  Optional<PayloadType> Payload;
295 
296  void findNextValid() {
297    assert(Payload && "Payload should be engaged when findNextValid is called")(static_cast <bool> (Payload && "Payload should be engaged when findNextValid is called"
) ? void (0) : __assert_fail ("Payload && \"Payload should be engaged when findNextValid is called\""
, "/build/llvm-toolchain-snapshot-7~svn329677/include/llvm/ADT/STLExtras.h"
, 297, __extension__ __PRETTY_FUNCTION__));
298    while (this->I != Payload->End && !Payload->Pred(*this->I))
299      BaseT::operator++();
300  }
301 
302  // Construct the begin iterator. The begin iterator requires to know where end
303  // is, so that it can properly stop when it hits end.
304  filter_iterator(WrappedIteratorT Begin, WrappedIteratorT End, PredicateT Pred)
305      : BaseT(std::move(Begin)),
306        Payload(PayloadType{std::move(End), std::move(Pred)}) {
307    findNextValid();
308  }
309 
310  // Construct the end iterator. It's not incrementable, so Payload doesn't
311  // have to be engaged.
312  filter_iterator(WrappedIteratorT End) : BaseT(End) {}
313 
314public:
315  using BaseT::operator++;
316 
317  filter_iterator &operator++() {
318    BaseT::operator++();
319    findNextValid();
320    return *this;
321  }
322 
323  template <typename RT, typename PT>
324  friend iterator_range<filter_iterator<detail::IterOfRange<RT>, PT>>
325  make_filter_range(RT &&, PT);
326};
327 
328/// Convenience function that takes a range of elements and a predicate,
329/// and return a new filter_iterator range.
330///
331/// FIXME: Currently if RangeT && is a rvalue reference to a temporary, the
332/// lifetime of that temporary is not kept by the returned range object, and the
333/// temporary is going to be dropped on the floor after the make_iterator_range
334/// full expression that contains this function call.
335template <typename RangeT, typename PredicateT>
336iterator_range<filter_iterator<detail::IterOfRange<RangeT>, PredicateT>>
337make_filter_range(RangeT &&Range, PredicateT Pred) {
338  using FilterIteratorT =
339      filter_iterator<detail::IterOfRange<RangeT>, PredicateT>;
340  return make_range(FilterIteratorT(std::begin(std::forward<RangeT>(Range)),
341                                    std::end(std::forward<RangeT>(Range)),
342                                    std::move(Pred)),
343                    FilterIteratorT(std::end(std::forward<RangeT>(Range))));
344}
345 
346// forward declarations required by zip_shortest/zip_first
347template <typename R, typename UnaryPredicate>
348bool all_of(R &&range, UnaryPredicate P);
349 
350template <size_t... I> struct index_sequence;
351 
352template <class... Ts> struct index_sequence_for;
353 
354namespace detail {
355 
356using std::declval;
357 
358// We have to alias this since inlining the actual type at the usage site
359// in the parameter list of iterator_facade_base<> below ICEs MSVC 2017.
360template<typename... Iters> struct ZipTupleType {
361  using type = std::tuple<decltype(*declval<Iters>())...>;
362};
363 
364template <typename ZipType, typename... Iters>
365using zip_traits = iterator_facade_base<
366    ZipType, typename std::common_type<std::bidirectional_iterator_tag,
367                                       typename std::iterator_traits<
368                                           Iters>::iterator_category...>::type,
369    // ^ TODO: Implement random access methods.
370    typename ZipTupleType<Iters...>::type,
371    typename std::iterator_traits<typename std::tuple_element<
372        0, std::tuple<Iters...>>::type>::difference_type,
373    // ^ FIXME: This follows boost::make_zip_iterator's assumption that all
374    // inner iterators have the same difference_type. It would fail if, for
375    // instance, the second field's difference_type were non-numeric while the
376    // first is.
377    typename ZipTupleType<Iters...>::type *,
378    typename ZipTupleType<Iters...>::type>;
379 
380template <typename ZipType, typename... Iters>
381struct zip_common : public zip_traits<ZipType, Iters...> {
382  using Base = zip_traits<ZipType, Iters...>;
383  using value_type = typename Base::value_type;
384 
385  std::tuple<Iters...> iterators;
386 
387protected:
388  template <size_t... Ns> value_type deref(index_sequence<Ns...>) const {
389    return value_type(*std::get<Ns>(iterators)...);
390  }
391 
392  template <size_t... Ns>
393  decltype(iterators) tup_inc(index_sequence<Ns...>) const {
394    return std::tuple<Iters...>(std::next(std::get<Ns>(iterators))...);
395  }
396 
397  template <size_t... Ns>
398  decltype(iterators) tup_dec(index_sequence<Ns...>) const {
399    return std::tuple<Iters...>(std::prev(std::get<Ns>(iterators))...);
400  }
401 
402public:
403  zip_common(Iters &&... ts) : iterators(std::forward<Iters>(ts)...) {}
404 
405  value_type operator*() { return deref(index_sequence_for<Iters...>{}); }
406 
407  const value_type operator*() const {
408    return deref(index_sequence_for<Iters...>{});
409  }
410 
411  ZipType &operator++() {
412    iterators = tup_inc(index_sequence_for<Iters...>{});
413    return *reinterpret_cast<ZipType *>(this);
414  }
415 
416  ZipType &operator--() {
417    static_assert(Base::IsBidirectional,
418                  "All inner iterators must be at least bidirectional.");
419    iterators = tup_dec(index_sequence_for<Iters...>{});
420    return *reinterpret_cast<ZipType *>(this);
421  }
422};
423 
424template <typename... Iters>
425struct zip_first : public zip_common<zip_first<Iters...>, Iters...> {
426  using Base = zip_common<zip_first<Iters...>, Iters...>;
427 
428  bool operator==(const zip_first<Iters...> &other) const {
429    return std::get<0>(this->iterators) == std::get<0>(other.iterators);
430  }
431 
432  zip_first(Iters &&... ts) : Base(std::forward<Iters>(ts)...) {}
433};
434 
435template <typename... Iters>
436class zip_shortest : public zip_common<zip_shortest<Iters...>, Iters...> {
437  template <size_t... Ns>
438  bool test(const zip_shortest<Iters...> &other, index_sequence<Ns...>) const {
439    return all_of(std::initializer_list<bool>{std::get<Ns>(this->iterators) !=
440                                              std::get<Ns>(other.iterators)...},
441                  identity<bool>{});
442  }
443 
444public:
445  using Base = zip_common<zip_shortest<Iters...>, Iters...>;
446 
447  zip_shortest(Iters &&... ts) : Base(std::forward<Iters>(ts)...) {}
448 
449  bool operator==(const zip_shortest<Iters...> &other) const {
450    return !test(other, index_sequence_for<Iters...>{});
451  }
452};
453 
454template <template <typename...> class ItType, typename... Args> class zippy {
455public:
456  using iterator = ItType<decltype(std::begin(std::declval<Args>()))...>;
457  using iterator_category = typename iterator::iterator_category;
458  using value_type = typename iterator::value_type;
459  using difference_type = typename iterator::difference_type;
460  using pointer = typename iterator::pointer;
461  using reference = typename iterator::reference;
462 
463private:
464  std::tuple<Args...> ts;
465 
466  template <size_t... Ns> iterator begin_impl(index_sequence<Ns...>) const {
467    return iterator(std::begin(std::get<Ns>(ts))...);
468  }
469  template <size_t... Ns> iterator end_impl(index_sequence<Ns...>) const {
470    return iterator(std::end(std::get<Ns>(ts))...);
471  }
472 
473public:
474  zippy(Args &&... ts_) : ts(std::forward<Args>(ts_)...) {}
475 
476  iterator begin() const { return begin_impl(index_sequence_for<Args...>{}); }
477  iterator end() const { return end_impl(index_sequence_for<Args...>{}); }
478};
479 
480} // end namespace detail
481 
482/// zip iterator for two or more iteratable types.
483template <typename T, typename U, typename... Args>
484detail::zippy<detail::zip_shortest, T, U, Args...> zip(T &&t, U &&u,
485                                                       Args &&... args) {
486  return detail::zippy<detail::zip_shortest, T, U, Args...>(
487      std::forward<T>(t), std::forward<U>(u), std::forward<Args>(args)...);
488}
489 
490/// zip iterator that, for the sake of efficiency, assumes the first iteratee to
491/// be the shortest.
492template <typename T, typename U, typename... Args>
493detail::zippy<detail::zip_first, T, U, Args...> zip_first(T &&t, U &&u,
494                                                          Args &&... args) {
495  return detail::zippy<detail::zip_first, T, U, Args...>(
496      std::forward<T>(t), std::forward<U>(u), std::forward<Args>(args)...);
497}
498 
499/// Iterator wrapper that concatenates sequences together.
500///
501/// This can concatenate different iterators, even with different types, into
502/// a single iterator provided the value types of all the concatenated
503/// iterators expose `reference` and `pointer` types that can be converted to
504/// `ValueT &` and `ValueT *` respectively. It doesn't support more
505/// interesting/customized pointer or reference types.
506///
507/// Currently this only supports forward or higher iterator categories as
508/// inputs and always exposes a forward iterator interface.
509template <typename ValueT, typename... IterTs>
510class concat_iterator
511    : public iterator_facade_base<concat_iterator<ValueT, IterTs...>,
512                                  std::forward_iterator_tag, ValueT> {
513  using BaseT = typename concat_iterator::iterator_facade_base;
514 
515  /// We store both the current and end iterators for each concatenated
516  /// sequence in a tuple of pairs.
517  ///
518  /// Note that something like iterator_range seems nice at first here, but the
519  /// range properties are of little benefit and end up getting in the way
520  /// because we need to do mutation on the current iterators.
521  std::tuple<std::pair<IterTs, IterTs>...> IterPairs;
522 
523  /// Attempts to increment a specific iterator.
524  ///
525  /// Returns true if it was able to increment the iterator. Returns false if
526  /// the iterator is already at the end iterator.
527  template <size_t Index> bool incrementHelper() {
528    auto &IterPair = std::get<Index>(IterPairs);
529    if (IterPair.first == IterPair.second)
530      return false;
531 
532    ++IterPair.first;
533    return true;
534  }
535 
536  /// Increments the first non-end iterator.
537  ///
538  /// It is an error to call this with all iterators at the end.
539  template <size_t... Ns> void increment(index_sequence<Ns...>) {
540    // Build a sequence of functions to increment each iterator if possible.
541    bool (concat_iterator::*IncrementHelperFns[])() = {
542        &concat_iterator::incrementHelper<Ns>...};
543 
544    // Loop over them, and stop as soon as we succeed at incrementing one.
545    for (auto &IncrementHelperFn : IncrementHelperFns)
546      if ((this->*IncrementHelperFn)())
547        return;
548 
549    llvm_unreachable("Attempted to increment an end concat iterator!")::llvm::llvm_unreachable_internal("Attempted to increment an end concat iterator!"
, "/build/llvm-toolchain-snapshot-7~svn329677/include/llvm/ADT/STLExtras.h"
, 549);
550  }
551 
552  /// Returns null if the specified iterator is at the end. Otherwise,
553  /// dereferences the iterator and returns the address of the resulting
554  /// reference.
555  template <size_t Index> ValueT *getHelper() const {
556    auto &IterPair = std::get<Index>(IterPairs);
557    if (IterPair.first == IterPair.second)
558      return nullptr;
559 
560    return &*IterPair.first;
561  }
562 
563  /// Finds the first non-end iterator, dereferences, and returns the resulting
564  /// reference.
565  ///
566  /// It is an error to call this with all iterators at the end.
567  template <size_t... Ns> ValueT &get(index_sequence<Ns...>) const {
568    // Build a sequence of functions to get from iterator if possible.
569    ValueT *(concat_iterator::*GetHelperFns[])() const = {
570        &concat_iterator::getHelper<Ns>...};
571 
572    // Loop over them, and return the first result we find.
573    for (auto &GetHelperFn : GetHelperFns)
574      if (ValueT *P = (this->*GetHelperFn)())
575        return *P;
576 
577    llvm_unreachable("Attempted to get a pointer from an end concat iterator!")::llvm::llvm_unreachable_internal("Attempted to get a pointer from an end concat iterator!"
, "/build/llvm-toolchain-snapshot-7~svn329677/include/llvm/ADT/STLExtras.h"
, 577);
578  }
579 
580public:
581  /// Constructs an iterator from a squence of ranges.
582  ///
583  /// We need the full range to know how to switch between each of the
584  /// iterators.
585  template <typename... RangeTs>
586  explicit concat_iterator(RangeTs &&... Ranges)
587      : IterPairs({std::begin(Ranges), std::end(Ranges)}...) {}
588 
589  using BaseT::operator++;
590 
591  concat_iterator &operator++() {
592    increment(index_sequence_for<IterTs...>());
593    return *this;
594  }
595 
596  ValueT &operator*() const { return get(index_sequence_for<IterTs...>()); }
597 
598  bool operator==(const concat_iterator &RHS) const {
599    return IterPairs == RHS.IterPairs;
600  }
601};
602 
603namespace detail {
604 
605/// Helper to store a sequence of ranges being concatenated and access them.
606///
607/// This is designed to facilitate providing actual storage when temporaries
608/// are passed into the constructor such that we can use it as part of range
609/// based for loops.
610template <typename ValueT, typename... RangeTs> class concat_range {
611public:
612  using iterator =
613      concat_iterator<ValueT,
614                      decltype(std::begin(std::declval<RangeTs &>()))...>;
615 
616private:
617  std::tuple<RangeTs...> Ranges;
618 
619  template <size_t... Ns> iterator begin_impl(index_sequence<Ns...>) {
620    return iterator(std::get<Ns>(Ranges)...);
621  }
622  template <size_t... Ns> iterator end_impl(index_sequence<Ns...>) {
623    return iterator(make_range(std::end(std::get<Ns>(Ranges)),
624                               std::end(std::get<Ns>(Ranges)))...);
625  }
626 
627public:
628  concat_range(RangeTs &&... Ranges)
629      : Ranges(std::forward<RangeTs>(Ranges)...) {}
630 
631  iterator begin() { return begin_impl(index_sequence_for<RangeTs...>{}); }
632  iterator end() { return end_impl(index_sequence_for<RangeTs...>{}); }
633};
634 
635} // end namespace detail
636 
637/// Concatenated range across two or more ranges.
638///
639/// The desired value type must be explicitly specified.
640template <typename ValueT, typename... RangeTs>
641detail::concat_range<ValueT, RangeTs...> concat(RangeTs &&... Ranges) {
642  static_assert(sizeof...(RangeTs) > 1,
643                "Need more than one range to concatenate!");
644  return detail::concat_range<ValueT, RangeTs...>(
645      std::forward<RangeTs>(Ranges)...);
646}
647 
648//===----------------------------------------------------------------------===//
649//     Extra additions to <utility>
650//===----------------------------------------------------------------------===//
651 
652/// \brief Function object to check whether the first component of a std::pair
653/// compares less than the first component of another std::pair.
654struct less_first {
655  template <typename T> bool operator()(const T &lhs, const T &rhs) const {
656    return lhs.first < rhs.first;
657  }
658};
659 
660/// \brief Function object to check whether the second component of a std::pair
661/// compares less than the second component of another std::pair.
662struct less_second {
663  template <typename T> bool operator()(const T &lhs, const T &rhs) const {
664    return lhs.second < rhs.second;
665  }
666};
667 
668// A subset of N3658. More stuff can be added as-needed.
669 
670/// \brief Represents a compile-time sequence of integers.
671template <class T, T... I> struct integer_sequence {
672  using value_type = T;
673 
674  static constexpr size_t size() { return sizeof...(I); }
675};
676 
677/// \brief Alias for the common case of a sequence of size_ts.
678template <size_t... I>
679struct index_sequence : integer_sequence<std::size_t, I...> {};
680 
681template <std::size_t N, std::size_t... I>
682struct build_index_impl : build_index_impl<N - 1, N - 1, I...> {};
683template <std::size_t... I>
684struct build_index_impl<0, I...> : index_sequence<I...> {};
685 
686/// \brief Creates a compile-time integer sequence for a parameter pack.
687template <class... Ts>
688struct index_sequence_for : build_index_impl<sizeof...(Ts)> {};
689 
690/// Utility type to build an inheritance chain that makes it easy to rank
691/// overload candidates.
692template <int N> struct rank : rank<N - 1> {};
693template <> struct rank<0> {};
694 
695/// \brief traits class for checking whether type T is one of any of the given
696/// types in the variadic list.
697template <typename T, typename... Ts> struct is_one_of {
698  static const bool value = false;
699};
700 
701template <typename T, typename U, typename... Ts>
702struct is_one_of<T, U, Ts...> {
703  static const bool value =
704      std::is_same<T, U>::value || is_one_of<T, Ts...>::value;
705};
706 
707/// \brief traits class for checking whether type T is a base class for all
708///  the given types in the variadic list.
709template <typename T, typename... Ts> struct are_base_of {
710  static const bool value = true;
711};
712 
713template <typename T, typename U, typename... Ts>
714struct are_base_of<T, U, Ts...> {
715  static const bool value =
716      std::is_base_of<T, U>::value && are_base_of<T, Ts...>::value;
717};
718 
719//===----------------------------------------------------------------------===//
720//     Extra additions for arrays
721//===----------------------------------------------------------------------===//
722 
723/// Find the length of an array.
724template <class T, std::size_t N>
725constexpr inline size_t array_lengthof(T (&)[N]) {
726  return N;
727}
728 
729/// Adapt std::less<T> for array_pod_sort.
730template<typename T>
731inline int array_pod_sort_comparator(const void *P1, const void *P2) {
732  if (std::less<T>()(*reinterpret_cast<const T*>(P1),
733                     *reinterpret_cast<const T*>(P2)))
734    return -1;
735  if (std::less<T>()(*reinterpret_cast<const T*>(P2),
736                     *reinterpret_cast<const T*>(P1)))
737    return 1;
738  return 0;
739}
740 
741/// get_array_pod_sort_comparator - This is an internal helper function used to
742/// get type deduction of T right.
743template<typename T>
744inline int (*get_array_pod_sort_comparator(const T &))
745             (const void*, const void*) {
746  return array_pod_sort_comparator<T>;
747}
748 
749/// array_pod_sort - This sorts an array with the specified start and end
750/// extent.  This is just like std::sort, except that it calls qsort instead of
751/// using an inlined template.  qsort is slightly slower than std::sort, but
752/// most sorts are not performance critical in LLVM and std::sort has to be
753/// template instantiated for each type, leading to significant measured code
754/// bloat.  This function should generally be used instead of std::sort where
755/// possible.
756///
757/// This function assumes that you have simple POD-like types that can be
758/// compared with std::less and can be moved with memcpy.  If this isn't true,
759/// you should use std::sort.
760///
761/// NOTE: If qsort_r were portable, we could allow a custom comparator and
762/// default to std::less.
763template<class IteratorTy>
764inline void array_pod_sort(IteratorTy Start, IteratorTy End) {
765  // Don't inefficiently call qsort with one element or trigger undefined
766  // behavior with an empty sequence.
767  auto NElts = End - Start;
768  if (NElts <= 1) return;
769#ifdef EXPENSIVE_CHECKS
770  std::mt19937 Generator(std::random_device{}());
771  std::shuffle(Start, End, Generator);
772#endif
773  qsort(&*Start, NElts, sizeof(*Start), get_array_pod_sort_comparator(*Start));
774}
775 
776template <class IteratorTy>
777inline void array_pod_sort(
778    IteratorTy Start, IteratorTy End,
779    int (*Compare)(
780        const typename std::iterator_traits<IteratorTy>::value_type *,
781        const typename std::iterator_traits<IteratorTy>::value_type *)) {
782  // Don't inefficiently call qsort with one element or trigger undefined
783  // behavior with an empty sequence.
784  auto NElts = End - Start;
785  if (NElts <= 1) return;
786#ifdef EXPENSIVE_CHECKS
787  std::mt19937 Generator(std::random_device{}());
788  std::shuffle(Start, End, Generator);
789#endif
790  qsort(&*Start, NElts, sizeof(*Start),
791        reinterpret_cast<int (*)(const void *, const void *)>(Compare));
792}
793 
794// Provide wrappers to std::sort which shuffle the elements before sorting
795// to help uncover non-deterministic behavior (PR35135).
796template <typename IteratorTy>
797inline void sort(IteratorTy Start, IteratorTy End) {
798#ifdef EXPENSIVE_CHECKS
799  std::mt19937 Generator(std::random_device{}());
800  std::shuffle(Start, End, Generator);
801#endif
802  std::sort(Start, End);
803}
804 
805template <typename IteratorTy, typename Compare>
806inline void sort(IteratorTy Start, IteratorTy End, Compare Comp) {
807#ifdef EXPENSIVE_CHECKS
808  std::mt19937 Generator(std::random_device{}());
809  std::shuffle(Start, End, Generator);
810#endif
811  std::sort(Start, End, Comp);
812}
813 
814//===----------------------------------------------------------------------===//
815//     Extra additions to <algorithm>
816//===----------------------------------------------------------------------===//
817 
818/// For a container of pointers, deletes the pointers and then clears the
819/// container.
820template<typename Container>
821void DeleteContainerPointers(Container &C) {
822  for (auto V : C)
823    delete V;
824  C.clear();
825}
826 
827/// In a container of pairs (usually a map) whose second element is a pointer,
828/// deletes the second elements and then clears the container.
829template<typename Container>
830void DeleteContainerSeconds(Container &C) {
831  for (auto &V : C)
832    delete V.second;
833  C.clear();
834}
835 
836/// Provide wrappers to std::for_each which take ranges instead of having to
837/// pass begin/end explicitly.
838template <typename R, typename UnaryPredicate>
839UnaryPredicate for_each(R &&Range, UnaryPredicate P) {
840  return std::for_each(adl_begin(Range), adl_end(Range), P);
841}
842 
843/// Provide wrappers to std::all_of which take ranges instead of having to pass
844/// begin/end explicitly.
845template <typename R, typename UnaryPredicate>
846bool all_of(R &&Range, UnaryPredicate P) {
847  return std::all_of(adl_begin(Range), adl_end(Range), P);
848}
849 
850/// Provide wrappers to std::any_of which take ranges instead of having to pass
851/// begin/end explicitly.
852template <typename R, typename UnaryPredicate>
853bool any_of(R &&Range, UnaryPredicate P) {
854  return std::any_of(adl_begin(Range), adl_end(Range), P);
855}
856 
857/// Provide wrappers to std::none_of which take ranges instead of having to pass
858/// begin/end explicitly.
859template <typename R, typename UnaryPredicate>
860bool none_of(R &&Range, UnaryPredicate P) {
861  return std::none_of(adl_begin(Range), adl_end(Range), P);
862}
863 
864/// Provide wrappers to std::find which take ranges instead of having to pass
865/// begin/end explicitly.
866template <typename R, typename T>
867auto find(R &&Range, const T &Val) -> decltype(adl_begin(Range)) {
868  return std::find(adl_begin(Range), adl_end(Range), Val);
869}
870 
871/// Provide wrappers to std::find_if which take ranges instead of having to pass
872/// begin/end explicitly.
873template <typename R, typename UnaryPredicate>
874auto find_if(R &&Range, UnaryPredicate P) -> decltype(adl_begin(Range)) {
875  return std::find_if(adl_begin(Range), adl_end(Range), P);
876}
877 
878template <typename R, typename UnaryPredicate>
879auto find_if_not(R &&Range, UnaryPredicate P) -> decltype(adl_begin(Range)) {
880  return std::find_if_not(adl_begin(Range), adl_end(Range), P);
881}
882 
883/// Provide wrappers to std::remove_if which take ranges instead of having to
884/// pass begin/end explicitly.
885template <typename R, typename UnaryPredicate>
886auto remove_if(R &&Range, UnaryPredicate P) -> decltype(adl_begin(Range)) {
887  return std::remove_if(adl_begin(Range), adl_end(Range), P);
888}
889 
890/// Provide wrappers to std::copy_if which take ranges instead of having to
891/// pass begin/end explicitly.
892template <typename R, typename OutputIt, typename UnaryPredicate>
893OutputIt copy_if(R &&Range, OutputIt Out, UnaryPredicate P) {
894  return std::copy_if(adl_begin(Range), adl_end(Range), Out, P);
895}
896 
897template <typename R, typename OutputIt>
898OutputIt copy(R &&Range, OutputIt Out) {
899  return std::copy(adl_begin(Range), adl_end(Range), Out);
900}
901 
902/// Wrapper function around std::find to detect if an element exists
903/// in a container.
904template <typename R, typename E>
905bool is_contained(R &&Range, const E &Element) {
906  return std::find(adl_begin(Range), adl_end(Range), Element) != adl_end(Range);
907}
908 
909/// Wrapper function around std::count to count the number of times an element
910/// \p Element occurs in the given range \p Range.
911template <typename R, typename E>
912auto count(R &&Range, const E &Element) ->
913    typename std::iterator_traits<decltype(adl_begin(Range))>::difference_type {
914  return std::count(adl_begin(Range), adl_end(Range), Element);
915}
916 
917/// Wrapper function around std::count_if to count the number of times an
918/// element satisfying a given predicate occurs in a range.
919template <typename R, typename UnaryPredicate>
920auto count_if(R &&Range, UnaryPredicate P) ->
921    typename std::iterator_traits<decltype(adl_begin(Range))>::difference_type {
922  return std::count_if(adl_begin(Range), adl_end(Range), P);
923}
924 
925/// Wrapper function around std::transform to apply a function to a range and
926/// store the result elsewhere.
927template <typename R, typename OutputIt, typename UnaryPredicate>
928OutputIt transform(R &&Range, OutputIt d_first, UnaryPredicate P) {
929  return std::transform(adl_begin(Range), adl_end(Range), d_first, P);
930}
931 
932/// Provide wrappers to std::partition which take ranges instead of having to
933/// pass begin/end explicitly.
934template <typename R, typename UnaryPredicate>
935auto partition(R &&Range, UnaryPredicate P) -> decltype(adl_begin(Range)) {
936  return std::partition(adl_begin(Range), adl_end(Range), P);
937}
938 
939/// Provide wrappers to std::lower_bound which take ranges instead of having to
940/// pass begin/end explicitly.
941template <typename R, typename ForwardIt>
942auto lower_bound(R &&Range, ForwardIt I) -> decltype(adl_begin(Range)) {
943  return std::lower_bound(adl_begin(Range), adl_end(Range), I);
944}
945 
946/// \brief Given a range of type R, iterate the entire range and return a
947/// SmallVector with elements of the vector.  This is useful, for example,
948/// when you want to iterate a range and then sort the results.
949template <unsigned Size, typename R>
950SmallVector<typename std::remove_const<detail::ValueOfRange<R>>::type, Size>
951to_vector(R &&Range) {
952  return {adl_begin(Range), adl_end(Range)};
953}
954 
955/// Provide a container algorithm similar to C++ Library Fundamentals v2's
956/// `erase_if` which is equivalent to:
957///
958///   C.erase(remove_if(C, pred), C.end());
959///
960/// This version works for any container with an erase method call accepting
961/// two iterators.
962template <typename Container, typename UnaryPredicate>
963void erase_if(Container &C, UnaryPredicate P) {
964  C.erase(remove_if(C, P), C.end());
965}
966 
967//===----------------------------------------------------------------------===//
968//     Extra additions to <memory>
969//===----------------------------------------------------------------------===//
970 
971// Implement make_unique according to N3656.
972 
973/// \brief Constructs a `new T()` with the given args and returns a
974///        `unique_ptr<T>` which owns the object.
975///
976/// Example:
977///
978///     auto p = make_unique<int>();
979///     auto p = make_unique<std::tuple<int, int>>(0, 1);
980template <class T, class... Args>
981typename std::enable_if<!std::is_array<T>::value, std::unique_ptr<T>>::type
982make_unique(Args &&... args) {
983  return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
9
←
Memory is allocated→
984}
985 
986/// \brief Constructs a `new T[n]` with the given args and returns a
987///        `unique_ptr<T[]>` which owns the object.
988///
989/// \param n size of the new array.
990///
991/// Example:
992///
993///     auto p = make_unique<int[]>(2); // value-initializes the array with 0's.
994template <class T>
995typename std::enable_if<std::is_array<T>::value && std::extent<T>::value == 0,
996                        std::unique_ptr<T>>::type
997make_unique(size_t n) {
998  return std::unique_ptr<T>(new typename std::remove_extent<T>::type[n]());
999}
1000 
1001/// This function isn't used and is only here to provide better compile errors.
1002template <class T, class... Args>
1003typename std::enable_if<std::extent<T>::value != 0>::type
1004make_unique(Args &&...) = delete;
1005 
1006struct FreeDeleter {
1007  void operator()(void* v) {
1008    ::free(v);
1009  }
1010};
1011 
1012template<typename First, typename Second>
1013struct pair_hash {
1014  size_t operator()(const std::pair<First, Second> &P) const {
1015    return std::hash<First>()(P.first) * 31 + std::hash<Second>()(P.second);
1016  }
1017};
1018 
1019/// A functor like C++14's std::less<void> in its absence.
1020struct less {
1021  template <typename A, typename B> bool operator()(A &&a, B &&b) const {
1022    return std::forward<A>(a) < std::forward<B>(b);
1023  }
1024};
1025 
1026/// A functor like C++14's std::equal<void> in its absence.
1027struct equal {
1028  template <typename A, typename B> bool operator()(A &&a, B &&b) const {
1029    return std::forward<A>(a) == std::forward<B>(b);
1030  }
1031};
1032 
1033/// Binary functor that adapts to any other binary functor after dereferencing
1034/// operands.
1035template <typename T> struct deref {
1036  T func;
1037 
1038  // Could be further improved to cope with non-derivable functors and
1039  // non-binary functors (should be a variadic template member function
1040  // operator()).
1041  template <typename A, typename B>
1042  auto operator()(A &lhs, B &rhs) const -> decltype(func(*lhs, *rhs)) {
1043    assert(lhs)(static_cast <bool> (lhs) ? void (0) : __assert_fail ("lhs"
, "/build/llvm-toolchain-snapshot-7~svn329677/include/llvm/ADT/STLExtras.h"
, 1043, __extension__ __PRETTY_FUNCTION__));
1044    assert(rhs)(static_cast <bool> (rhs) ? void (0) : __assert_fail ("rhs"
, "/build/llvm-toolchain-snapshot-7~svn329677/include/llvm/ADT/STLExtras.h"
, 1044, __extension__ __PRETTY_FUNCTION__));
1045    return func(*lhs, *rhs);
1046  }
1047};
1048 
1049namespace detail {
1050 
1051template <typename R> class enumerator_iter;
1052 
1053template <typename R> struct result_pair {
1054  friend class enumerator_iter<R>;
1055 
1056  result_pair() = default;
1057  result_pair(std::size_t Index, IterOfRange<R> Iter)
1058      : Index(Index), Iter(Iter) {}
1059 
1060  result_pair<R> &operator=(const result_pair<R> &Other) {
1061    Index = Other.Index;
1062    Iter = Other.Iter;
1063    return *this;
1064  }
1065 
1066  std::size_t index() const { return Index; }
1067  const ValueOfRange<R> &value() const { return *Iter; }
1068  ValueOfRange<R> &value() { return *Iter; }
1069 
1070private:
1071  std::size_t Index = std::numeric_limits<std::size_t>::max();
1072  IterOfRange<R> Iter;
1073};
1074 
1075template <typename R>
1076class enumerator_iter
1077    : public iterator_facade_base<
1078          enumerator_iter<R>, std::forward_iterator_tag, result_pair<R>,
1079          typename std::iterator_traits<IterOfRange<R>>::difference_type,
1080          typename std::iterator_traits<IterOfRange<R>>::pointer,
1081          typename std::iterator_traits<IterOfRange<R>>::reference> {
1082  using result_type = result_pair<R>;
1083 
1084public:
1085  explicit enumerator_iter(IterOfRange<R> EndIter)
1086      : Result(std::numeric_limits<size_t>::max(), EndIter) {}
1087 
1088  enumerator_iter(std::size_t Index, IterOfRange<R> Iter)
1089      : Result(Index, Iter) {}
1090 
1091  result_type &operator*() { return Result; }
1092  const result_type &operator*() const { return Result; }
1093 
1094  enumerator_iter<R> &operator++() {
1095    assert(Result.Index != std::numeric_limits<size_t>::max())(static_cast <bool> (Result.Index != std::numeric_limits
<size_t>::max()) ? void (0) : __assert_fail ("Result.Index != std::numeric_limits<size_t>::max()"
, "/build/llvm-toolchain-snapshot-7~svn329677/include/llvm/ADT/STLExtras.h"
, 1095, __extension__ __PRETTY_FUNCTION__));
1096    ++Result.Iter;
1097    ++Result.Index;
1098    return *this;
1099  }
1100 
1101  bool operator==(const enumerator_iter<R> &RHS) const {
1102    // Don't compare indices here, only iterators.  It's possible for an end
1103    // iterator to have different indices depending on whether it was created
1104    // by calling std::end() versus incrementing a valid iterator.
1105    return Result.Iter == RHS.Result.Iter;
1106  }
1107 
1108  enumerator_iter<R> &operator=(const enumerator_iter<R> &Other) {
1109    Result = Other.Result;
1110    return *this;
1111  }
1112 
1113private:
1114  result_type Result;
1115};
1116 
1117template <typename R> class enumerator {
1118public:
1119  explicit enumerator(R &&Range) : TheRange(std::forward<R>(Range)) {}
1120 
1121  enumerator_iter<R> begin() {
1122    return enumerator_iter<R>(0, std::begin(TheRange));
1123  }
1124 
1125  enumerator_iter<R> end() {
1126    return enumerator_iter<R>(std::end(TheRange));
1127  }
1128 
1129private:
1130  R TheRange;
1131};
1132 
1133} // end namespace detail
1134 
1135/// Given an input range, returns a new range whose values are are pair (A,B)
1136/// such that A is the 0-based index of the item in the sequence, and B is
1137/// the value from the original sequence.  Example:
1138///
1139/// std::vector<char> Items = {'A', 'B', 'C', 'D'};
1140/// for (auto X : enumerate(Items)) {
1141///   printf("Item %d - %c\n", X.index(), X.value());
1142/// }
1143///
1144/// Output:
1145///   Item 0 - A
1146///   Item 1 - B
1147///   Item 2 - C
1148///   Item 3 - D
1149///
1150template <typename R> detail::enumerator<R> enumerate(R &&TheRange) {
1151  return detail::enumerator<R>(std::forward<R>(TheRange));
1152}
1153 
1154namespace detail {
1155 
1156template <typename F, typename Tuple, std::size_t... I>
1157auto apply_tuple_impl(F &&f, Tuple &&t, index_sequence<I...>)
1158    -> decltype(std::forward<F>(f)(std::get<I>(std::forward<Tuple>(t))...)) {
1159  return std::forward<F>(f)(std::get<I>(std::forward<Tuple>(t))...);
1160}
1161 
1162} // end namespace detail
1163 
1164/// Given an input tuple (a1, a2, ..., an), pass the arguments of the
1165/// tuple variadically to f as if by calling f(a1, a2, ..., an) and
1166/// return the result.
1167template <typename F, typename Tuple>
1168auto apply_tuple(F &&f, Tuple &&t) -> decltype(detail::apply_tuple_impl(
1169    std::forward<F>(f), std::forward<Tuple>(t),
1170    build_index_impl<
1171        std::tuple_size<typename std::decay<Tuple>::type>::value>{})) {
1172  using Indices = build_index_impl<
1173      std::tuple_size<typename std::decay<Tuple>::type>::value>;
1174 
1175  return detail::apply_tuple_impl(std::forward<F>(f), std::forward<Tuple>(t),
1176                                  Indices{});
1177}
1178 
1179} // end namespace llvm
1180 
1181#endif // LLVM_ADT_STLEXTRAS_H

←

/usr/lib/gcc/x86_64-linux-gnu/7.3.0/../../../../include/c++/7.3.0/bits/unique_ptr.h

1// unique_ptr implementation -*- C++ -*-

3// Copyright (C) 2008-2017 Free Software Foundation, Inc.
4//
5// This file is part of the GNU ISO C++ Library.  This library is free
6// software; you can redistribute it and/or modify it under the
7// terms of the GNU General Public License as published by the
8// Free Software Foundation; either version 3, or (at your option)
9// any later version.

11// This library is distributed in the hope that it will be useful,
12// but WITHOUT ANY WARRANTY; without even the implied warranty of
13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14// GNU General Public License for more details.

16// Under Section 7 of GPL version 3, you are granted additional
17// permissions described in the GCC Runtime Library Exception, version
18// 3.1, as published by the Free Software Foundation.

20// You should have received a copy of the GNU General Public License and
21// a copy of the GCC Runtime Library Exception along with this program;
22// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
23// <http://www.gnu.org/licenses/>.

25/** @file bits/unique_ptr.h
*  This is an internal header file, included by other library headers.
*  Do not attempt to use it directly. @headername{memory}
*/

30#ifndef _UNIQUE_PTR_H1
31#define _UNIQUE_PTR_H1 1

33#include <bits/c++config.h>
34#include <debug/assertions.h>
35#include <type_traits>
36#include <utility>
37#include <tuple>
38#include <bits/stl_function.h>
39#include <bits/functional_hash.h>

41namespace std _GLIBCXX_VISIBILITY(default)__attribute__ ((__visibility__ ("default")))
42{
43_GLIBCXX_BEGIN_NAMESPACE_VERSION

/**
 * @addtogroup pointer_abstractions
 * @{
 */

50#if _GLIBCXX_USE_DEPRECATED1
template<typename> class auto_ptr;
52#endif

/// Primary template of default_delete, used by unique_ptr
template<typename _Tp>
  struct default_delete
  {
    /// Default constructor
    constexpr default_delete() noexcept = default;

    /** @brief Converting constructor.
     *
     * Allows conversion from a deleter for arrays of another type, @p _Up,
     * only if @p _Up* is convertible to @p _Tp*.
     */
    template<typename _Up, typename = typename
      enable_if<is_convertible<_Up*, _Tp*>::value>::type>
      default_delete(const default_delete<_Up>&) noexcept { }

    /// Calls @c delete @p __ptr
    void
    operator()(_Tp* __ptr) const
    {
static_assert(!is_void<_Tp>::value,
      "can't delete pointer to incomplete type");
static_assert(sizeof(_Tp)>0,
      "can't delete pointer to incomplete type");
delete __ptr;
15
←
Memory is released→
    }
  };

// _GLIBCXX_RESOLVE_LIB_DEFECTS
// DR 740 - omit specialization for array objects with a compile time length
/// Specialization for arrays, default_delete.
template<typename _Tp>
  struct default_delete<_Tp[]>
  {
  public:
    /// Default constructor
    constexpr default_delete() noexcept = default;

    /** @brief Converting constructor.
     *
     * Allows conversion from a deleter for arrays of another type, such as
     * a const-qualified version of @p _Tp.
     *
     * Conversions from types derived from @c _Tp are not allowed because
     * it is unsafe to @c delete[] an array of derived types through a
     * pointer to the base type.
     */
    template<typename _Up, typename = typename
      enable_if<is_convertible<_Up(*)[], _Tp(*)[]>::value>::type>
      default_delete(const default_delete<_Up[]>&) noexcept { }

    /// Calls @c delete[] @p __ptr
    template<typename _Up>
    typename enable_if<is_convertible<_Up(*)[], _Tp(*)[]>::value>::type
operator()(_Up* __ptr) const
    {
static_assert(sizeof(_Tp)>0,
      "can't delete pointer to incomplete type");
delete [] __ptr;
    }
  };

template <typename _Tp, typename _Dp>
  class __uniq_ptr_impl
  {
    template <typename _Up, typename _Ep, typename = void>
struct _Ptr
{
 using type = _Up*;
};

    template <typename _Up, typename _Ep>
struct
_Ptr<_Up, _Ep, __void_t<typename remove_reference<_Ep>::type::pointer>>
{
 using type = typename remove_reference<_Ep>::type::pointer;
};

  public:
    using _DeleterConstraint = enable_if<
      __and_<__not_<is_pointer<_Dp>>,
      is_default_constructible<_Dp>>::value>;

    using pointer = typename _Ptr<_Tp, _Dp>::type;

    __uniq_ptr_impl() = default;
    __uniq_ptr_impl(pointer __p) : _M_t() { _M_ptr() = __p; }

    template<typename _Del>
    __uniq_ptr_impl(pointer __p, _Del&& __d)
: _M_t(__p, std::forward<_Del>(__d)) { }

    pointer&   _M_ptr() { return std::get<0>(_M_t); }
    pointer    _M_ptr() const { return std::get<0>(_M_t); }
    _Dp&       _M_deleter() { return std::get<1>(_M_t); }
    const _Dp& _M_deleter() const { return std::get<1>(_M_t); }

  private:
    tuple<pointer, _Dp> _M_t;
  };

/// 20.7.1.2 unique_ptr for single objects.
template <typename _Tp, typename _Dp = default_delete<_Tp>>
  class unique_ptr
  {
    template <class _Up>
    using _DeleterConstraint =
typename __uniq_ptr_impl<_Tp, _Up>::_DeleterConstraint::type;

    __uniq_ptr_impl<_Tp, _Dp> _M_t;

  public:
    using pointer	  = typename __uniq_ptr_impl<_Tp, _Dp>::pointer;
    using element_type  = _Tp;
    using deleter_type  = _Dp;

    // helper template for detecting a safe conversion from another
    // unique_ptr
    template<typename _Up, typename _Ep>
using __safe_conversion_up = __and_<
       is_convertible<typename unique_ptr<_Up, _Ep>::pointer, pointer>,
              __not_<is_array<_Up>>,
              __or_<__and_<is_reference<deleter_type>,
                           is_same<deleter_type, _Ep>>,
                    __and_<__not_<is_reference<deleter_type>>,
                           is_convertible<_Ep, deleter_type>>
              >
            >;

    // Constructors.

    /// Default constructor, creates a unique_ptr that owns nothing.
    template <typename _Up = _Dp,
typename = _DeleterConstraint<_Up>>
constexpr unique_ptr() noexcept
: _M_t()
      { }

    /** Takes ownership of a pointer.
     *
     * @param __p  A pointer to an object of @c element_type
     *
     * The deleter will be value-initialized.
     */
    template <typename _Up = _Dp,
typename = _DeleterConstraint<_Up>>
explicit
unique_ptr(pointer __p) noexcept
: _M_t(__p)
      { }

    /** Takes ownership of a pointer.
     *
     * @param __p  A pointer to an object of @c element_type
     * @param __d  A reference to a deleter.
     *
     * The deleter will be initialized with @p __d
     */
    unique_ptr(pointer __p,
 typename conditional<is_reference<deleter_type>::value,
   deleter_type, const deleter_type&>::type __d) noexcept
    : _M_t(__p, __d) { }

    /** Takes ownership of a pointer.
     *
     * @param __p  A pointer to an object of @c element_type
     * @param __d  An rvalue reference to a deleter.
     *
     * The deleter will be initialized with @p std::move(__d)
     */
    unique_ptr(pointer __p,
 typename remove_reference<deleter_type>::type&& __d) noexcept
    : _M_t(std::move(__p), std::move(__d))
    { static_assert(!std::is_reference<deleter_type>::value,
      "rvalue deleter bound to reference"); }

    /// Creates a unique_ptr that owns nothing.
    template <typename _Up = _Dp,
typename = _DeleterConstraint<_Up>>
constexpr unique_ptr(nullptr_t) noexcept : unique_ptr() { }

    // Move constructors.

    /// Move constructor.
    unique_ptr(unique_ptr&& __u) noexcept
    : _M_t(__u.release(), std::forward<deleter_type>(__u.get_deleter())) { }

    /** @brief Converting constructor from another type
     *
     * Requires that the pointer owned by @p __u is convertible to the
     * type of pointer owned by this object, @p __u does not own an array,
     * and @p __u has a compatible deleter type.
     */
    template<typename _Up, typename _Ep, typename = _Require<
             __safe_conversion_up<_Up, _Ep>,
      typename conditional<is_reference<_Dp>::value,
		    is_same<_Ep, _Dp>,
		    is_convertible<_Ep, _Dp>>::type>>
unique_ptr(unique_ptr<_Up, _Ep>&& __u) noexcept
: _M_t(__u.release(), std::forward<_Ep>(__u.get_deleter()))
{ }

256#if _GLIBCXX_USE_DEPRECATED1
    /// Converting constructor from @c auto_ptr
    template<typename _Up, typename = _Require<
      is_convertible<_Up*, _Tp*>, is_same<_Dp, default_delete<_Tp>>>>
unique_ptr(auto_ptr<_Up>&& __u) noexcept;
261#endif

    /// Destructor, invokes the deleter if the stored pointer is not null.
    ~unique_ptr() noexcept
    {
auto& __ptr = _M_t._M_ptr();
if (__ptr != nullptr)
13
←
Taking true branch→
 get_deleter()(__ptr);
14
←
Calling 'default_delete::operator()'→
16
←
Returning; memory was released via 2nd parameter→
__ptr = pointer();
    }

    // Assignment.

    /** @brief Move assignment operator.
     *
     * @param __u  The object to transfer ownership from.
     *
     * Invokes the deleter first if this object owns a pointer.
     */
    unique_ptr&
    operator=(unique_ptr&& __u) noexcept
    {
reset(__u.release());
get_deleter() = std::forward<deleter_type>(__u.get_deleter());
return *this;
    }

    /** @brief Assignment from another type.
     *
     * @param __u  The object to transfer ownership from, which owns a
     *             convertible pointer to a non-array object.
     *
     * Invokes the deleter first if this object owns a pointer.
     */
    template<typename _Up, typename _Ep>
      typename enable_if< __and_<
        __safe_conversion_up<_Up, _Ep>,
        is_assignable<deleter_type&, _Ep&&>
        >::value,
        unique_ptr&>::type
operator=(unique_ptr<_Up, _Ep>&& __u) noexcept
{
 reset(__u.release());
 get_deleter() = std::forward<_Ep>(__u.get_deleter());
 return *this;
}

    /// Reset the %unique_ptr to empty, invoking the deleter if necessary.
    unique_ptr&
    operator=(nullptr_t) noexcept
    {
reset();
return *this;
    }

    // Observers.

    /// Dereference the stored pointer.
    typename add_lvalue_reference<element_type>::type
    operator*() const
    {
__glibcxx_assert(get() != pointer());
return *get();
    }

    /// Return the stored pointer.
    pointer
    operator->() const noexcept
    {
_GLIBCXX_DEBUG_PEDASSERT(get() != pointer());
return get();
    }

    /// Return the stored pointer.
    pointer
    get() const noexcept
    { return _M_t._M_ptr(); }

    /// Return a reference to the stored deleter.
    deleter_type&
    get_deleter() noexcept
    { return _M_t._M_deleter(); }

    /// Return a reference to the stored deleter.
    const deleter_type&
    get_deleter() const noexcept
    { return _M_t._M_deleter(); }

    /// Return @c true if the stored pointer is not null.
    explicit operator bool() const noexcept
    { return get() == pointer() ? false : true; }

    // Modifiers.

    /// Release ownership of any stored pointer.
    pointer
    release() noexcept
    {
pointer __p = get();
_M_t._M_ptr() = pointer();
return __p;
    }

    /** @brief Replace the stored pointer.
     *
     * @param __p  The new pointer to store.
     *
     * The deleter will be invoked if a pointer is already owned.
     */
    void
    reset(pointer __p = pointer()) noexcept
    {
using std::swap;
swap(_M_t._M_ptr(), __p);
if (__p != pointer())
 get_deleter()(__p);
    }

    /// Exchange the pointer and deleter with another object.
    void
    swap(unique_ptr& __u) noexcept
    {
using std::swap;
swap(_M_t, __u._M_t);
    }

    // Disable copy from lvalue.
    unique_ptr(const unique_ptr&) = delete;
    unique_ptr& operator=(const unique_ptr&) = delete;
};

/// 20.7.1.3 unique_ptr for array objects with a runtime length
// [unique.ptr.runtime]
// _GLIBCXX_RESOLVE_LIB_DEFECTS
// DR 740 - omit specialization for array objects with a compile time length
template<typename _Tp, typename _Dp>
  class unique_ptr<_Tp[], _Dp>
  {
    template <typename _Up>
    using _DeleterConstraint =
typename __uniq_ptr_impl<_Tp, _Up>::_DeleterConstraint::type;

    __uniq_ptr_impl<_Tp, _Dp> _M_t;

    template<typename _Up>
using __remove_cv = typename remove_cv<_Up>::type;

    // like is_base_of<_Tp, _Up> but false if unqualified types are the same
    template<typename _Up>
using __is_derived_Tp
 = __and_< is_base_of<_Tp, _Up>,
    __not_<is_same<__remove_cv<_Tp>, __remove_cv<_Up>>> >;

  public:
    using pointer	  = typename __uniq_ptr_impl<_Tp, _Dp>::pointer;
    using element_type  = _Tp;
    using deleter_type  = _Dp;

    // helper template for detecting a safe conversion from another
    // unique_ptr
    template<typename _Up, typename _Ep,
             typename _Up_up = unique_ptr<_Up, _Ep>,
      typename _Up_element_type = typename _Up_up::element_type>
using __safe_conversion_up = __and_<
        is_array<_Up>,
        is_same<pointer, element_type*>,
        is_same<typename _Up_up::pointer, _Up_element_type*>,
        is_convertible<_Up_element_type(*)[], element_type(*)[]>,
        __or_<__and_<is_reference<deleter_type>, is_same<deleter_type, _Ep>>,
              __and_<__not_<is_reference<deleter_type>>,
                     is_convertible<_Ep, deleter_type>>>
      >;

    // helper template for detecting a safe conversion from a raw pointer
    template<typename _Up>
      using __safe_conversion_raw = __and_<
        __or_<__or_<is_same<_Up, pointer>,
                    is_same<_Up, nullptr_t>>,
              __and_<is_pointer<_Up>,
                     is_same<pointer, element_type*>,
                     is_convertible<
                       typename remove_pointer<_Up>::type(*)[],
                       element_type(*)[]>
              >
        >
      >;

    // Constructors.

    /// Default constructor, creates a unique_ptr that owns nothing.
    template <typename _Up = _Dp,
typename = _DeleterConstraint<_Up>>
constexpr unique_ptr() noexcept
: _M_t()
      { }

    /** Takes ownership of a pointer.
     *
     * @param __p  A pointer to an array of a type safely convertible
     * to an array of @c element_type
     *
     * The deleter will be value-initialized.
     */
    template<typename _Up,
      typename _Vp = _Dp,
      typename = _DeleterConstraint<_Vp>,
      typename = typename enable_if<
               __safe_conversion_raw<_Up>::value, bool>::type>
explicit
unique_ptr(_Up __p) noexcept
: _M_t(__p)
      { }

    /** Takes ownership of a pointer.
     *
     * @param __p  A pointer to an array of a type safely convertible
     * to an array of @c element_type
     * @param __d  A reference to a deleter.
     *
     * The deleter will be initialized with @p __d
     */
    template<typename _Up,
             typename = typename enable_if<
               __safe_conversion_raw<_Up>::value, bool>::type>
    unique_ptr(_Up __p,
               typename conditional<is_reference<deleter_type>::value,
               deleter_type, const deleter_type&>::type __d) noexcept
    : _M_t(__p, __d) { }

    /** Takes ownership of a pointer.
     *
     * @param __p  A pointer to an array of a type safely convertible
     * to an array of @c element_type
     * @param __d  A reference to a deleter.
     *
     * The deleter will be initialized with @p std::move(__d)
     */
    template<typename _Up,
             typename = typename enable_if<
               __safe_conversion_raw<_Up>::value, bool>::type>
    unique_ptr(_Up __p, typename
 remove_reference<deleter_type>::type&& __d) noexcept
    : _M_t(std::move(__p), std::move(__d))
    { static_assert(!is_reference<deleter_type>::value,
      "rvalue deleter bound to reference"); }

    /// Move constructor.
    unique_ptr(unique_ptr&& __u) noexcept
    : _M_t(__u.release(), std::forward<deleter_type>(__u.get_deleter())) { }

    /// Creates a unique_ptr that owns nothing.
    template <typename _Up = _Dp,
typename = _DeleterConstraint<_Up>>
constexpr unique_ptr(nullptr_t) noexcept : unique_ptr() { }

    template<typename _Up, typename _Ep,
      typename = _Require<__safe_conversion_up<_Up, _Ep>>>
unique_ptr(unique_ptr<_Up, _Ep>&& __u) noexcept
: _M_t(__u.release(), std::forward<_Ep>(__u.get_deleter()))
{ }

    /// Destructor, invokes the deleter if the stored pointer is not null.
    ~unique_ptr()
    {
auto& __ptr = _M_t._M_ptr();
if (__ptr != nullptr)
 get_deleter()(__ptr);
__ptr = pointer();
    }

    // Assignment.

    /** @brief Move assignment operator.
     *
     * @param __u  The object to transfer ownership from.
     *
     * Invokes the deleter first if this object owns a pointer.
     */
    unique_ptr&
    operator=(unique_ptr&& __u) noexcept
    {
reset(__u.release());
get_deleter() = std::forward<deleter_type>(__u.get_deleter());
return *this;
    }

    /** @brief Assignment from another type.
     *
     * @param __u  The object to transfer ownership from, which owns a
     *             convertible pointer to an array object.
     *
     * Invokes the deleter first if this object owns a pointer.
     */
    template<typename _Up, typename _Ep>
typename
enable_if<__and_<__safe_conversion_up<_Up, _Ep>,
                       is_assignable<deleter_type&, _Ep&&>
                >::value,
                unique_ptr&>::type
operator=(unique_ptr<_Up, _Ep>&& __u) noexcept
{
 reset(__u.release());
 get_deleter() = std::forward<_Ep>(__u.get_deleter());
 return *this;
}

    /// Reset the %unique_ptr to empty, invoking the deleter if necessary.
    unique_ptr&
    operator=(nullptr_t) noexcept
    {
reset();
return *this;
    }

    // Observers.

    /// Access an element of owned array.
    typename std::add_lvalue_reference<element_type>::type
    operator[](size_t __i) const
    {
__glibcxx_assert(get() != pointer());
return get()[__i];
    }

    /// Return the stored pointer.
    pointer
    get() const noexcept
    { return _M_t._M_ptr(); }

    /// Return a reference to the stored deleter.
    deleter_type&
    get_deleter() noexcept
    { return _M_t._M_deleter(); }

    /// Return a reference to the stored deleter.
    const deleter_type&
    get_deleter() const noexcept
    { return _M_t._M_deleter(); }

    /// Return @c true if the stored pointer is not null.
    explicit operator bool() const noexcept
    { return get() == pointer() ? false : true; }

    // Modifiers.

    /// Release ownership of any stored pointer.
    pointer
    release() noexcept
    {
pointer __p = get();
_M_t._M_ptr() = pointer();
return __p;
    }

    /** @brief Replace the stored pointer.
     *
     * @param __p  The new pointer to store.
     *
     * The deleter will be invoked if a pointer is already owned.
     */
    template <typename _Up,
              typename = _Require<
                __or_<is_same<_Up, pointer>,
                      __and_<is_same<pointer, element_type*>,
                             is_pointer<_Up>,
                             is_convertible<
                               typename remove_pointer<_Up>::type(*)[],
                               element_type(*)[]
                             >
                      >
                >
             >>
    void
    reset(_Up __p) noexcept
    {
pointer __ptr = __p;
using std::swap;
swap(_M_t._M_ptr(), __ptr);
if (__ptr != nullptr)
 get_deleter()(__ptr);
    }

    void reset(nullptr_t = nullptr) noexcept
    {
      reset(pointer());
    }

    /// Exchange the pointer and deleter with another object.
    void
    swap(unique_ptr& __u) noexcept
    {
using std::swap;
swap(_M_t, __u._M_t);
    }

    // Disable copy from lvalue.
    unique_ptr(const unique_ptr&) = delete;
    unique_ptr& operator=(const unique_ptr&) = delete;
  };

template<typename _Tp, typename _Dp>
  inline
663#if __cplusplus201103L > 201402L || !defined(__STRICT_ANSI__1) // c++1z or gnu++11
  // Constrained free swap overload, see p0185r1
  typename enable_if<__is_swappable<_Dp>::value>::type
666#else
  void
668#endif
  swap(unique_ptr<_Tp, _Dp>& __x,
unique_ptr<_Tp, _Dp>& __y) noexcept
  { __x.swap(__y); }

673#if __cplusplus201103L > 201402L || !defined(__STRICT_ANSI__1) // c++1z or gnu++11
template<typename _Tp, typename _Dp>
  typename enable_if<!__is_swappable<_Dp>::value>::type
  swap(unique_ptr<_Tp, _Dp>&,
unique_ptr<_Tp, _Dp>&) = delete;
678#endif

template<typename _Tp, typename _Dp,
  typename _Up, typename _Ep>
  inline bool
  operator==(const unique_ptr<_Tp, _Dp>& __x,
      const unique_ptr<_Up, _Ep>& __y)
  { return __x.get() == __y.get(); }

template<typename _Tp, typename _Dp>
  inline bool
  operator==(const unique_ptr<_Tp, _Dp>& __x, nullptr_t) noexcept
  { return !__x; }

template<typename _Tp, typename _Dp>
  inline bool
  operator==(nullptr_t, const unique_ptr<_Tp, _Dp>& __x) noexcept
  { return !__x; }

template<typename _Tp, typename _Dp,
  typename _Up, typename _Ep>
  inline bool
  operator!=(const unique_ptr<_Tp, _Dp>& __x,
      const unique_ptr<_Up, _Ep>& __y)
  { return __x.get() != __y.get(); }

template<typename _Tp, typename _Dp>
  inline bool
  operator!=(const unique_ptr<_Tp, _Dp>& __x, nullptr_t) noexcept
  { return (bool)__x; }

template<typename _Tp, typename _Dp>
  inline bool
  operator!=(nullptr_t, const unique_ptr<_Tp, _Dp>& __x) noexcept
  { return (bool)__x; }

template<typename _Tp, typename _Dp,
  typename _Up, typename _Ep>
  inline bool
  operator<(const unique_ptr<_Tp, _Dp>& __x,
     const unique_ptr<_Up, _Ep>& __y)
  {
    typedef typename
std::common_type<typename unique_ptr<_Tp, _Dp>::pointer,
                typename unique_ptr<_Up, _Ep>::pointer>::type _CT;
    return std::less<_CT>()(__x.get(), __y.get());
  }

template<typename _Tp, typename _Dp>
  inline bool
  operator<(const unique_ptr<_Tp, _Dp>& __x, nullptr_t)
  { return std::less<typename unique_ptr<_Tp, _Dp>::pointer>()(__x.get(),
						 nullptr); }

template<typename _Tp, typename _Dp>
  inline bool
  operator<(nullptr_t, const unique_ptr<_Tp, _Dp>& __x)
  { return std::less<typename unique_ptr<_Tp, _Dp>::pointer>()(nullptr,
						 __x.get()); }

template<typename _Tp, typename _Dp,
  typename _Up, typename _Ep>
  inline bool
  operator<=(const unique_ptr<_Tp, _Dp>& __x,
      const unique_ptr<_Up, _Ep>& __y)
  { return !(__y < __x); }

template<typename _Tp, typename _Dp>
  inline bool
  operator<=(const unique_ptr<_Tp, _Dp>& __x, nullptr_t)
  { return !(nullptr < __x); }

template<typename _Tp, typename _Dp>
  inline bool
  operator<=(nullptr_t, const unique_ptr<_Tp, _Dp>& __x)
  { return !(__x < nullptr); }

template<typename _Tp, typename _Dp,
  typename _Up, typename _Ep>
  inline bool
  operator>(const unique_ptr<_Tp, _Dp>& __x,
     const unique_ptr<_Up, _Ep>& __y)
  { return (__y < __x); }

template<typename _Tp, typename _Dp>
  inline bool
  operator>(const unique_ptr<_Tp, _Dp>& __x, nullptr_t)
  { return std::less<typename unique_ptr<_Tp, _Dp>::pointer>()(nullptr,
						 __x.get()); }

template<typename _Tp, typename _Dp>
  inline bool
  operator>(nullptr_t, const unique_ptr<_Tp, _Dp>& __x)
  { return std::less<typename unique_ptr<_Tp, _Dp>::pointer>()(__x.get(),
						 nullptr); }

template<typename _Tp, typename _Dp,
  typename _Up, typename _Ep>
  inline bool
  operator>=(const unique_ptr<_Tp, _Dp>& __x,
      const unique_ptr<_Up, _Ep>& __y)
  { return !(__x < __y); }

template<typename _Tp, typename _Dp>
  inline bool
  operator>=(const unique_ptr<_Tp, _Dp>& __x, nullptr_t)
  { return !(__x < nullptr); }

template<typename _Tp, typename _Dp>
  inline bool
  operator>=(nullptr_t, const unique_ptr<_Tp, _Dp>& __x)
  { return !(nullptr < __x); }

/// std::hash specialization for unique_ptr.
template<typename _Tp, typename _Dp>
  struct hash<unique_ptr<_Tp, _Dp>>
  : public __hash_base<size_t, unique_ptr<_Tp, _Dp>>,
  private __poison_hash<typename unique_ptr<_Tp, _Dp>::pointer>
  {
    size_t
    operator()(const unique_ptr<_Tp, _Dp>& __u) const noexcept
    {
typedef unique_ptr<_Tp, _Dp> _UP;
return std::hash<typename _UP::pointer>()(__u.get());
    }
  };

805#if __cplusplus201103L > 201103L

807#define __cpp_lib_make_unique 201304

template<typename _Tp>
  struct _MakeUniq
  { typedef unique_ptr<_Tp> __single_object; };

template<typename _Tp>
  struct _MakeUniq<_Tp[]>
  { typedef unique_ptr<_Tp[]> __array; };

template<typename _Tp, size_t _Bound>
  struct _MakeUniq<_Tp[_Bound]>
  { struct __invalid_type { }; };

/// std::make_unique for single objects
template<typename _Tp, typename... _Args>
  inline typename _MakeUniq<_Tp>::__single_object
  make_unique(_Args&&... __args)
  { return unique_ptr<_Tp>(new _Tp(std::forward<_Args>(__args)...)); }

/// std::make_unique for arrays of unknown bound
template<typename _Tp>
  inline typename _MakeUniq<_Tp>::__array
  make_unique(size_t __num)
  { return unique_ptr<_Tp>(new remove_extent_t<_Tp>[__num]()); }

/// Disable std::make_unique for arrays of known bound
template<typename _Tp, typename... _Args>
  inline typename _MakeUniq<_Tp>::__invalid_type
  make_unique(_Args&&...) = delete;
837#endif

// @} group pointer_abstractions

841_GLIBCXX_END_NAMESPACE_VERSION
842} // namespace

844#endif /* _UNIQUE_PTR_H */