diff --git a/infer/src/backend/InferAnalyzeJson.ml b/infer/src/backend/InferAnalyzeJson.ml index 191c3492a..a2efa458e 100644 --- a/infer/src/backend/InferAnalyzeJson.ml +++ b/infer/src/backend/InferAnalyzeJson.ml @@ -293,8 +293,10 @@ and parse_exp (json : Safe.t) = match s with | "exact" -> Exp.Sizeof {typ= t; nbytes= None; dynamic_length= None; subtype= Subtype.exact} + | "instof" -> + Exp.Sizeof {typ= t; nbytes= None; dynamic_length= None; subtype= Subtype.subtypes_instof} | _ -> - Logging.die InternalError "Subtype in Sizeof instruction is not 'exact'" + Logging.die InternalError "Subtype in Sizeof instruction is not supported." else Logging.die InternalError "Unknown expression kind %s" ekind