[1.10>master] [MERGE #5557 @meg-gupta] OS#17531342 : Fix provability …

…check on BrOnObject Merge pull request #5557 from meg-gupta:bronobjectbug BrOnObject returns true for all non primitives in the interpreter, fix the case for BrOnObject while checking for provability to reflect the same.
chakra-core · Jul 30, 2018 · 7149247 · 7149247
2 parents 0f600da + 0625d4a
commit 7149247
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Backend/GlobOpt.cpp b/lib/Backend/GlobOpt.cpp
@@ -6791,7 +6791,7 @@ GlobOpt::CanProveConditionalBranch(IR::Instr *instr, Value *src1Val, Value *src2
         {
             return false;
         }
-        *result = src1ValueInfo->IsObject();
+        *result = !src1ValueInfo->IsPrimitive();
         break;
     }
     default: