From 5d2ba44292f4752b65c8ddb7a2d1d42cc417799d Mon Sep 17 00:00:00 2001 From: Xiaoyu Liu Date: Tue, 1 Jun 2021 04:44:05 -0700 Subject: [PATCH] Add exn expression support in json frontend (#1450) Summary: Hi all, This PR add supports of exn expression support. Thanks, Pull Request resolved: https://github.com/facebook/infer/pull/1450 Reviewed By: ngorogiannis Differential Revision: D28795049 Pulled By: jvillard fbshipit-source-id: 9e3aeea88 --- infer/src/backend/InferAnalyzeJson.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/infer/src/backend/InferAnalyzeJson.ml b/infer/src/backend/InferAnalyzeJson.ml index a2efa458e..a143c0138 100644 --- a/infer/src/backend/InferAnalyzeJson.ml +++ b/infer/src/backend/InferAnalyzeJson.ml @@ -272,6 +272,9 @@ and parse_exp (json : Safe.t) = let e1 = parse_exp (member "left" json) in let e2 = parse_exp (member "right" json) in Exp.BinOp (op, e1, e2) + else if String.equal ekind "ExnExpression" then + let e = parse_exp (member "expression" json) in + Exp.Exn e else if String.equal ekind "ConstExpression" then Exp.Const (parse_constant json) else if String.equal ekind "CastExpression" then let t = parse_sil_type_name (member "type" json) in