GuardWidening - silence static analyzer null dereference warning with assertion. NFCI.

RKSimon · RKSimon · commit c4c5944aa91f · 2019-10-21T17:15:37.000Z
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@375428 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Transforms/Scalar/GuardWidening.cpp b/lib/Transforms/Scalar/GuardWidening.cpp
@@ -591,7 +591,7 @@ bool GuardWideningImpl::widenCondCommon(Value *Cond0, Value *Cond1,
           else
             Result = RC.getCheckInst();
         }
-
+        assert(Result && "Failed to find result value");
         Result->setName("wide.chk");
       }
       return true;

Original file line number	Diff line number	Diff line change
`@@ -591,7 +591,7 @@ bool GuardWideningImpl::widenCondCommon(Value Cond0, Value Cond1,`
`591`	`591`	`else`
`592`	`592`	`Result = RC.getCheckInst();`
`593`	`593`	`}`
`594`		`-`
	`594`	`+ assert(Result && "Failed to find result value");`
`595`	`595`	`Result->setName("wide.chk");`
`596`	`596`	`}`
`597`	`597`	`return true;`