From 9e3b3c5d77bbbdd42e3445d47b5700084640c2a7 Mon Sep 17 00:00:00 2001 From: Martino Luca Date: Sat, 27 Aug 2016 03:57:16 -0700 Subject: [PATCH] Fix C++ tests Summary: Fix pattern matching of the `parameters` field of `DeprecatedAttr` Reviewed By: akotulski Differential Revision: D3782788 fbshipit-source-id: df8dd40 --- infer/src/clang/cTrans.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/clang/cTrans.ml b/infer/src/clang/cTrans.ml index 3853e17ae..f29142f19 100644 --- a/infer/src/clang/cTrans.ml +++ b/infer/src/clang/cTrans.ml @@ -449,7 +449,7 @@ struct match IList.find_map_opt get_attr_opt decl_info.di_attributes with | Some attribute_info -> (match attribute_info.ai_parameters with - | [_; arg; _] -> Some arg + | [_; arg; _; _; _; _] -> Some arg | _ -> (* it's not supposed to happen due to hardcoded exporting logic coming from ASTExporter.h in facebook-clang-plugins *)