CVE-2019-1366

pleath · pleath · commit 94181502091b · 2019-10-07T15:30:31.000-07:00
diff --git a/lib/Backend/GlobOpt.cpp b/lib/Backend/GlobOpt.cpp
@@ -3603,7 +3603,7 @@ GlobOpt::OptSrc(IR::Opnd *opnd, IR::Instr * *pInstr, Value **indirIndexValRef, I
 
         opnd->SetValueType(valueType);
 
-        if(!IsLoopPrePass() && opnd->IsSymOpnd() && valueType.IsDefinite())
+        if(!IsLoopPrePass() && opnd->IsSymOpnd() && (valueType.IsDefinite() || valueType.IsNotTaggedValue()))
         {
             if (opnd->AsSymOpnd()->m_sym->IsPropertySym())
             {

Original file line number	Diff line number	Diff line change
`@@ -3603,7 +3603,7 @@ GlobOpt::OptSrc(IR::Opnd opnd, IR::Instr pInstr, Value *indirIndexValRef, I`
`3603`	`3603`
`3604`	`3604`	`opnd->SetValueType(valueType);`
`3605`	`3605`
`3606`		`- if(!IsLoopPrePass() && opnd->IsSymOpnd() && valueType.IsDefinite())`
	`3606`	`+ if(!IsLoopPrePass() && opnd->IsSymOpnd() && (valueType.IsDefinite() \|\| valueType.IsNotTaggedValue()))`
`3607`	`3607`	`{`
`3608`	`3608`	`if (opnd->AsSymOpnd()->m_sym->IsPropertySym())`
`3609`	`3609`	`{`