[PATCH] D19965: [scan-build] fix warnings emitted on LLVM IR code base

[Apelete Seketeli via llvm-commits]

apelete created this revision.
apelete added reviewers: majnemer, pcc.
apelete added a subscriber: llvm-commits.

Fix "Logic error" warnings of the type "Called C++ object pointer is
null" reported by Clang Static Analyzer on the following file:

- lib/IR/Verifier.cpp.

Signed-off-by: Apelete Seketeli <apelete at seketeli.net>

http://reviews.llvm.org/D19965

Files:
  lib/IR/Verifier.cpp

Index: lib/IR/Verifier.cpp
===================================================================
--- lib/IR/Verifier.cpp
+++ lib/IR/Verifier.cpp
@@ -2020,7 +2020,7 @@
         continue;
 
       // FIXME: Once N is canonical, check "SP == &N".
-      Assert(SP->describes(&F),
+      Assert(SP && SP->describes(&F),
              "!dbg attachment points at wrong subprogram for function", N, &F,
              &I, DL, Scope, SP);
     }


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D19965.56268.patch
Type: text/x-patch
Size: 435 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160505/a49b4164/attachment.bin>