[LLVMbugs] [Bug 12998] New: Dead store in CallOrObjCMessage::hasNonZeroCallbackArg()

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=12998

             Bug #: 12998
           Summary: Dead store in
                    CallOrObjCMessage::hasNonZeroCallbackArg()
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: tom.care at uqconnect.edu.au
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


lib/StaticAnalyzer/Core/ObjCMessage.cpp:137

  // Else, assume we are dealing with a Function call.
  const FunctionDecl *FD = 0;
  if (const CXXConstructExpr *Ctor =
        CallE.dyn_cast<const CXXConstructExpr *>())
    FD = Ctor->getConstructor();

  const CallExpr * CE = CallE.get<const CallExpr *>();
  FD = dyn_cast_or_null<FunctionDecl>(CE->getCalleeDecl());

FD is overwritten on the true branch.

(found by self-analysis :))

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.