Merge pull request #1563 from goblint/location_of_yojson

Default the value of `CilType.Location.Byte` to -1 if missing in JSON

src/common/util/cilType.ml

@@ -79,8 +79,8 @@ struct
 
   let of_yojson = function
     | `Assoc l ->
-      begin match List.assoc_opt "file" l, List.assoc_opt "line" l, List.assoc_opt "column" l, List.assoc_opt "byte" l with
-        | Some (`String file), Some (`Int line), Some (`Int column), Some (`Int byte) ->
+      begin match List.assoc_opt "file" l, List.assoc_opt "line" l, List.assoc_opt "column" l, Option.value ~default:(`Int (-1)) (List.assoc_opt "byte" l) with
+        | Some (`String file), Some (`Int line), Some (`Int column), `Int byte ->
           let loc = {file; line; column; byte; endLine = -1; endColumn = -1; endByte = -1; synthetic = false} in
           begin match List.assoc_opt "endLine" l, List.assoc_opt "endColumn" l, List.assoc_opt "endByte" l with
             | Some (`Int endLine), Some (`Int endColumn), Some (`Int endByte) ->