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
master
Xiaoyu Liu 4 years ago committed by Facebook GitHub Bot
parent 70e062e7c0
commit 5d2ba44292

@ -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

Loading…
Cancel
Save