resolve prefast false positive

MikeHolman · MikeHolman · commit bafcd1f0eb7d · 2018-02-14T17:04:09.000-08:00
diff --git a/lib/Backend/Lower.cpp b/lib/Backend/Lower.cpp
@@ -16202,6 +16202,7 @@ Lowerer::GenerateFastElemIIntIndexCommon(
         else
 #endif
         {
+            AnalysisAssert(headSegmentLengthOpnd != nullptr);
             lengthOpnd = IR::RegOpnd::New(headSegmentLengthOpnd->GetType(), m_func);
             IR::Instr * instrMov = IR::Instr::New(Js::OpCode::MOV_TRUNC, lengthOpnd, headSegmentLengthOpnd, m_func);
             instr->InsertBefore(instrMov);

Original file line number	Diff line number	Diff line change
`@@ -16202,6 +16202,7 @@ Lowerer::GenerateFastElemIIntIndexCommon(`
`16202`	`16202`	`else`
`16203`	`16203`	`#endif`
`16204`	`16204`	`{`
	`16205`	`+ AnalysisAssert(headSegmentLengthOpnd != nullptr);`
`16205`	`16206`	`lengthOpnd = IR::RegOpnd::New(headSegmentLengthOpnd->GetType(), m_func);`
`16206`	`16207`	`IR::Instr * instrMov = IR::Instr::New(Js::OpCode::MOV_TRUNC, lengthOpnd, headSegmentLengthOpnd, m_func);`
`16207`	`16208`	`instr->InsertBefore(instrMov);`