Fix lookupStr not to lookup when str is Bottom

es-meta · Jul 6, 2023 · ee51a7e · ee51a7e
1 parent a47e674
commit ee51a7e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/main/scala/esmeta/analyzer/domain/state/TypeDomain.scala b/src/main/scala/esmeta/analyzer/domain/state/TypeDomain.scala
@@ -340,8 +340,9 @@ object TypeDomain extends state.Domain {
   // string lookup
   private def lookupStr(str: BSet[String], prop: ValueTy): ValueTy =
     var res = ValueTy()
+    if (str.isBottom) return res
     if (prop.str contains "length") res ||= MathT
-    if (!str.isBottom && !prop.math.isBottom) res ||= CodeUnitT
+    if (!prop.math.isBottom) res ||= CodeUnitT
     // TODO if (!str.isBottom)
     //   boundCheck(
     //     prop,