Re: [PATCH] D13731: [Analyzer] Supporting function attributes in .model files.

pgousseau abandoned this revision. pgousseau added a comment. Abandoning for now while evaluating Swift's APINotes. http://reviews.llvm.org/D13731 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo

Re: [PATCH] D13731: [Analyzer] Supporting function attributes in .model files.

pgousseau added a comment. In http://reviews.llvm.org/D13731#302989, @zaks.anna wrote: > Pierre, > > Have you seen the post about API Notes? > http://llvm.cc/t/cfe-dev-clang-and-swift/331 > > I believe using API notes would be a better approach for adding annotations. > By the time the static a

Re: [PATCH] D13731: [Analyzer] Supporting function attributes in .model files.

zaks.anna added a comment. Pierre, Have you seen the post about API Notes? http://llvm.cc/t/cfe-dev-clang-and-swift/331 I believe using API notes would be a better approach for adding annotations. By the time the static analyzer sees the AST, the annotations would already be there. The API Not

Re: [PATCH] D13731: [Analyzer] Supporting function attributes in .model files.

pgousseau added a comment. Ping! http://reviews.llvm.org/D13731 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Re: [PATCH] D13731: [Analyzer] Supporting function attributes in .model files.

pgousseau added a comment. Ping! http://reviews.llvm.org/D13731 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits