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 *)