[fix] fixed getting type of heap ref

MchKosticyn · Dec 12, 2023 · 01df57c · 01df57c
1 parent 0beb1f4
commit 01df57c
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/VSharp.SILI.Core/Memory.fs b/VSharp.SILI.Core/Memory.fs
@@ -192,8 +192,13 @@ module internal Memory =
         if isAssignable locationType sightType then locationType
         else
             if isAssignable sightType locationType |> not then
-                Logger.trace $"mostConcreteTypeOfHeapRef: Sight type ({sightType}) of address {address} differs from type in heap ({locationType})"
-            sightType
+                if locationType = typeof<string> && sightType = typeof<char[]> || locationType = typeof<char[]> && sightType = typeof<string> then
+                    typeof<string>
+                else
+                    Logger.trace $"mostConcreteTypeOfHeapRef: Sight type ({sightType}) of address {address} differs from type in heap ({locationType})"
+                    sightType
+            else
+                sightType
 
     let mostConcreteTypeOfRef state ref =
         let getType ref =