[PATCH] D69308: [analyzer] Test cases for the unsupported features for Clang Static Analyzer

This revision was automatically updated to reflect the committed changes. Closed by commit rG5e0fb6484207: [analyzer] Add test cases for the unsupported C++ constructor modeling. (authored by dergachev.a). Changed prior to commit: https://reviews.llvm.org/D69308?vs=227714=228344#toc

[PATCH] D69308: [analyzer] Test cases for the unsupported features for Clang Static Analyzer

NoQ accepted this revision. NoQ added a comment. Thanks! CHANGES SINCE LAST ACTION https://reviews.llvm.org/D69308/new/ https://reviews.llvm.org/D69308 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D69308: [analyzer] Test cases for the unsupported features for Clang Static Analyzer

dkrupp added a comment. In D69308#1727625 , @NoQ wrote: > Another interesting problem that we forgot to mention on the open projects > page is the modeling of C++17 bindings and decompositions: > https://bugs.llvm.org/show_bug.cgi?id=43042 > > Also, in

[PATCH] D69308: [analyzer] Test cases for the unsupported features for Clang Static Analyzer

dkrupp added a comment. In D69308#1727587 , @NoQ wrote: > In D69308#1727108 , @Szelethus wrote: > > > Would love to see this comment in its entirety on the open projects page :^) > > > I'd rather have a mention

[PATCH] D69308: [analyzer] Test cases for the unsupported features for Clang Static Analyzer

dkrupp updated this revision to Diff 227714. dkrupp marked 2 inline comments as done. dkrupp added a comment. Thanks for your comments @NoQ I fixed them. Also added your implementation hints to the open projects page. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D69308/new/

[PATCH] D69308: [analyzer] Test cases for the unsupported features for Clang Static Analyzer

NoQ added a comment. Another interesting problem that we forgot to mention on the open projects page is the modeling of C++17 bindings and decompositions: https://bugs.llvm.org/show_bug.cgi?id=43042 Also, in my opinion, out of all construction context problems mentioned on the open projects

[PATCH] D69308: [analyzer] Test cases for the unsupported features for Clang Static Analyzer

NoQ added a comment. In D69308#1727108 , @Szelethus wrote: > Would love to see this comment in its entirety on the open projects page :^) I'd rather have a mention that @dkrupp is already working on this project, so that if somebody wanted to help out

[PATCH] D69308: [analyzer] Test cases for the unsupported features for Clang Static Analyzer

Szelethus added a comment. LGTM given that the inlines are fixed. In D69308#1722139 , @NoQ wrote: > Thanks for the tests! > > Both of these features are relatively hard. > > ... Would love to see this comment in its entirety on the open projects page

[PATCH] D69308: [analyzer] Test cases for the unsupported features for Clang Static Analyzer

NoQ added a comment. Thanks for the tests! Both of these features are relatively hard. Operator `new[]` requires invoking multiple (potentially unknown) amount of constructors with the same construct-expression. Apart from the technical difficulties of juggling program points around correctly

[PATCH] D69308: [analyzer] Test cases for the unsupported features for Clang Static Analyzer

dkrupp created this revision. dkrupp added reviewers: NoQ, Szelethus. dkrupp added a project: clang. Herald added subscribers: cfe-commits, Charusso, gamesh411, donat.nagy, mikhail.ramalho, a.sidorin, rnkovacs, szepet, baloghadamsoftware, xazax.hun, whisperity. These test cases demonstrate some