是啊。。bug02下面/tmp/httpd.reduce.ll，你可以搜搜看，只有我给argument加的那么一条。

2013/2/13 wujingyue <notifications@github.com>

> In lib/Analyses/ReductionVerifier.cpp:
>
> > +// to use ReductionVerifier as the underlying AA to generate the call
> > +// graph.
> > +// static RegisterAnalysisGroup<AliasAnalysis> Y(X);
> > +
> > +char ReductionVerifier::ID = 0;
> > +
> > +bool ReductionVerifier::runOnModule(Module &M) {
> > +  Function *DeclareFn = Intrinsic::getDeclaration(&M, Intrinsic::dbg_declare);
> > +  for (Value::use_iterator UI = DeclareFn->use_begin();
> > +       UI != DeclareFn->use_end(); ++UI) {
> > +    User *Usr = *UI;
> > +    assert(isa<CallInst>(Usr) || isa<InvokeInst>(Usr));
> > +    CallSite CS(cast<Instruction>(Usr));
> > +    MDNode *MD = cast<MDNode>(CS.getArgument(0));
> > +    Value *V = MD->getOperand(0);
> > +    errs() << *V << "\n";
>
> 如果满篇的dbg就应该是有debug info的，那就也应该有一些llvm.dbg.declare。你llvm-dis后搜索发现没有的？
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/wujingyue/neongoby/pull/4/files#r2997228>.
>
>