当前位置: 首页>>代码示例>>C++>>正文


C++ Identifier::set_name方法代码示例

本文整理汇总了C++中Identifier::set_name方法的典型用法代码示例。如果您正苦于以下问题:C++ Identifier::set_name方法的具体用法?C++ Identifier::set_name怎么用?C++ Identifier::set_name使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在Identifier的用法示例。


在下文中一共展示了Identifier::set_name方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。

示例1: runOnModule

bool AssertionSiteInstrumenter::runOnModule(Module &M) {
  InstrCtx.reset(InstrContext::Create(M, SuppressDebugInstr));

  // Replace all structure automaton "anchors" with automata definitions.
  for (auto &Fn : M) {
    StringRef Name = Fn.getName();
    if (not Name.startswith(STRUCT_AUTOMATON))
      continue;

    Name = Name.substr(STRUCT_AUTOMATON.length());
    Identifier ID;
    ID.set_name(Name.str());

    const Automaton *A = this->M.FindAutomaton(ID);
    if (not A) {
      llvm::errs() << "TESLA manifest does not contain " << Name << "\n";
      panic("missing automaton definition", false);
    }

    assert(A->Name() == Name);

    if (Function *AutomatonDefinition = M.getFunction(Name))
      AutomatonDefinition->eraseFromParent();

    InstrCtx->BuildAutomatonDescription(A);
  }

  // If this module doesn't declare any assertions, just carry on.
  AssertFn = M.getFunction(INLINE_ASSERTION);
  if (!AssertFn)
    return false;

  // Find all calls to TESLA assertion pseudo-function (before we modify IR).
  set<CallInst*> AssertCalls;
  for (auto I = AssertFn->use_begin(); I != AssertFn->use_end(); ++I)
    AssertCalls.insert(cast<CallInst>(*I));

  return ConvertAssertions(AssertCalls, M);
}
开发者ID:cadets,项目名称:tesla-static-analysis,代码行数:39,代码来源:Assertion.cpp


注:本文中的Identifier::set_name方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。