Ehsan Akhgari
18f30a60a6
Bug 1325694 - Mark the MSVC specific std::atomic base classes as memmovable for static analysis; r=froydnj
2016-12-23 21:03:21 -05:00
Ting-Yu Chou
4e68f1ffa7
Bug 1322465 part 8 - Use explicit/MOZ_IMPLICIT for the unary constructors in mfbt/. r=Ehsan
...
MozReview-Commit-ID: 2TpfrAaAIuu
--HG--
extra : rebase_source : 4fb5af1beb94c059cbadfaf27fe3949ae8b85efb
2016-12-16 15:57:15 +08:00
Ting-Yu Chou
4118473061
Bug 1316545 part 6 - Suppress the warning of invalid noreturn. r=ehsan
...
MozReview-Commit-ID: CXt1DezWsgL
--HG--
extra : histedit_source : 8ad1d02a9abc00722d870810fc6c2e20744eb529
2016-11-25 16:22:00 +08:00
Ting-Yu Chou
a008dced39
Bug 1316545 part 5 - Make misuseX() concrete such that the AST is computed even if it is unused. r=mystor
...
MozReview-Commit-ID: 4kkWJjvATzC
--HG--
extra : histedit_source : dedc8935c4dfe513f2a266e31c34eab03f897c71
2016-11-24 11:48:33 +08:00
Nathan Froyd
2ebbd09068
Bug 1320752 - remove mozilla/Function.h; r=gerald
...
We have std::function available now, which is likely to be somewhat more
efficient.
2016-11-28 11:03:53 -05:00
Ehsan Akhgari
bc354ecd55
Bug 1319903 - Part 1: Ignore ParenExpr's when ignoring trivial expressions; r=mystor
2016-11-23 18:00:00 -05:00
Tooru Fujisawa
19d7f7bb03
Bug 1290337 - Part 22: Add moz_non_param annotation. r=ehsan,jwalden
2016-09-11 18:23:11 +09:00
Andi-Bogdan Postelnicu
e0d7fa5720
Bug 1307702 - clang-plugin - static analysis to reject ussage of MOZ_REQUIRED_BASE_METHOD on non-virtual base methods. r=mystor
...
MozReview-Commit-ID: 9G79Wm5fbHc
2016-10-06 14:02:20 +03:00
Andi-Bogdan Postelnicu
d447f00057
Bug 1230311 - clang-plugin - static analysis to enforce that if a method is overridden also base method is called. r=mystor
...
MozReview-Commit-ID: 1JYzYZZOh3W
2016-10-06 13:49:00 +03:00
Tom Schuster
3cc61134b1
Bug 1302163 - Show an error for [v]snprintf with literals using the clang plugin. r=ehsan
2016-10-04 17:57:50 +02:00
Michael Layzell
9c75f35e6a
Bug 1018486 - Part 10: Add an analysis to reject the kungFuDeathGrip pattern on function results and member variables, r=ehsan
...
MozReview-Commit-ID: K8rehjAxIA6
2016-09-07 10:50:48 -04:00
Michael Layzell
44ec98cd05
Bug 1244825 - Detect classes with two superclasses with mRefCnt members, r=ehsan
2016-08-05 13:51:35 -04:00
Michael Layzell
652e9475bc
Bug 1281935 - Part 1: Relax raw pointer inside lambda analysis, r=ehsan
2016-08-02 15:27:43 -04:00
Tom Tromey
5538d692d3
Bug 1286877 - do not set c-basic-offset for python-mode; r=gps
...
This removes the unnecessary setting of c-basic-offset from all
python-mode files.
This was automatically generated using
perl -pi -e 's/; *c-basic-offset: *[0-9]+//'
... on the affected files.
The bulk of these files are moz.build files but there a few others as
well.
MozReview-Commit-ID: 2pPf3DEiZqx
--HG--
extra : rebase_source : 0a7dcac80b924174a2c429b093791148ea6ac204
2016-07-14 10:16:42 -06:00
Andi-Bogdan Postelnicu
de0b1d9c7a
Bug 1283395 - clang-plugin - add an error if we encounter in MOZ_ASSERT assignment instead of logical expression. r=mystor
...
MozReview-Commit-ID: AybStmi6MIH
--HG--
extra : rebase_source : 6379599db347975436181c3807893f939f624b24
2016-07-19 09:59:22 +03:00
Michael Layzell
6dd5afa601
Bug 1209227 - Part 1: Make the MOZ_INHERIT_TYPE_ANNOTATIONS_FROM_TEMPLATE_ARGS analysis handle packs more correctly, r=ehsan
2016-05-19 09:34:01 -04:00
Nicholas Nethercote
a5c843fe5f
Bug 1267550 (part 1) - Rename MOZ_MUST_USE as MOZ_MUST_USE_TYPE. r=ehsan.
...
This will allow MOZ_MUST_USE to be used for a different and more common case.
MozReview-Commit-ID: 4dQsdWjJfc6
--HG--
extra : rebase_source : 390ab56ef83d71eb6d28759a0195a79a78b153bd
2016-04-27 08:22:10 +10:00
Ehsan Akhgari
09ce2152c7
Bug 1264827 - Part 2: Add a static analysis to help check Rust wrapped C++ classes for members which are unsafe to memmove; r=mystor
2016-04-18 15:43:46 -04:00
Michael Layzell
c4c75e9287
Bug 1254247 - Ignore implicit Expr wrappers due to temporary cleanup in MUST_USE analysis, r=ehsan
2016-03-11 18:29:47 -05:00
Mike Hommey
cbb8f056e6
Bug 1255540 - Properly run the clang-plugin tests. r=gps
2016-03-11 12:22:24 +09:00
Andrea Marchesini
856342a4be
Bug 1253187 - Remove some warnings in clang-plugin tests, r=ehsan
2016-03-03 18:31:12 +01:00
Michael Layzell
299ac653c2
Bug 1242789 - Allow lambdas to capture raw pointers to refcounted objects by reference, r=ehsan
2016-01-26 13:32:41 -05:00
Michael Layzell
2b12d59585
Bug 1226376 - Part 1: Allow non-trivial constexpr constructors in MOZ_TRIVIAL_CTOR_DTOR classes, r=ehsan
2016-01-08 15:34:24 -05:00
Jed Davis
f377ca14ea
Bug 1201314 - Make most of std:: non-memmovable for static analysis purposes. r=mystor r=ehsan
...
For simplicity, the exceptions are hard-coded in the plugin: currently
std::pair and std::atomic.
2015-10-14 18:13:00 +02:00
Michael Layzell
24a4505d6d
Bug 1214037 - Don't consider the result of an assignment expression MOZ_MUST_USE, r=ehsan
2015-10-14 16:06:36 -04:00
Michael Layzell
977f9a33ea
Bug 1208814 - Part 1: Add an analysis to prevent default copy constructors from being called on refcounted objects, r=ehsan
2015-10-03 11:23:52 -04:00
Ehsan Akhgari
f8824f7e03
Bug 1182727 - Part 15: Build the clang-plugin C test in C11 mode; r=mystor
...
For some mysterious reason, the plugin crashes when loaded under
the -std=gnu89 that we use by default for C.
2015-10-02 11:09:23 -04:00
Michael Layzell
ee6e600d85
Bug 1201190 - Part 1: Add an analysis to prevent a type from being allocated in a temporary, r=ehsan
2015-09-12 16:53:31 -04:00
Michael Layzell
da3af84697
Bug 1156802 - Part 1: Add an analysis which prohibits explicit move constructors, r=ehsan
2015-09-12 12:34:44 -04:00
Jed Davis
3a2bfc48d5
Bug 1201309 - Make MOZ_INHERIT_TYPE_ANNOTATIONS_FROM_TEMPLATE_ARGS work with MOZ_NON_MEMMOVABLE. r=ehsan f=mystor
...
This patch migrates moz_non_memmovable into the CustomTypeAnnotation
framework; bonus side-effects are more helpful error messages and less
code duplication.
2015-09-10 08:23:53 -07:00
Michael Layzell
5cb124397c
Bug 1200413 - Part 1: Re-write RefCountedInsideLambdaChecker to use captures instead of checking for DeclRef instances, r=ehsan
2015-09-01 18:20:46 -04:00
Michael Layzell
40e60e8a8e
Bug 1192130 - Part 1: Add MOZ_NON_AUTOABLE to restrict using auto in place of certain types, r=ehsan
2015-08-14 17:33:52 -04:00
Michael Layzell
535f5ff710
Bug 885515 - Part 1: Add an analysis for detecting non-heap allocations of MOZ_HEAP_CLASS, r=ehsan
2015-08-09 12:42:10 -04:00
Michael Layzell
256c460c0c
Bug 1192015 - Refactor allocation analysis in clang plugin to better allow adding new analyses, and support detecting temporary value allocations, r=ehsan
2015-08-09 12:42:09 -04:00
Ehsan Akhgari
a2853f82dd
Fix some bad variable names, no bug
2015-08-04 19:11:16 -04:00
Michael Layzell
fd765fa5fa
Bug 1187073 - Add the MOZ_INHERIT_TYPE_ANNOTATIONS_FROM_TEMPLATE_ARGS annotation to clang-plugin. r=ehsan
...
--HG--
extra : rebase_source : ecdbc00b315c36420b066792ee3664addecb9812
2015-07-24 12:52:00 -04:00
Michael Layzell
bd071c9515
Bug 1187486 - Update the clang plugin to detect templated implicit constructors; r=ehsan
2015-07-30 20:31:11 -04:00
Ryan VanderMeulen
2ab90188e0
Backed out changeset 3e78fb4512a6 (bug 1187486) for static analysis failures.
2015-07-30 14:47:52 -04:00
Michael Layzell
5644f5a00c
Bug 1187486 - Update the clang plugin to detect templated implicit constructors; r=ehsan
2015-07-30 14:03:18 -04:00
Michael Layzell
4fffaa9e34
Bug 602122 - Add a static analysis to find XPCOM classes with duplicate mRefCnt members; r=ehsan
2015-07-30 01:05:06 -04:00
Boris Zbarsky
d0799d6f5c
Back out revision 6d94504b602d (bug 602122).
2015-07-28 17:19:46 -04:00
Michael Layzell
259a9c490b
Bug 602122 - Add a static analysis to find XPCOM classes with duplicate mRefCnt members; r=ehsan
2015-07-28 16:55:20 -04:00
Michael Layzell
bf91a08bcc
Bug 1159433 - Part 1: Add an analysis to ensure that some template arguments cannot be non-memmovable types; r=ehsan
2015-07-24 19:14:37 -04:00
Michael Layzell
91c1e847d6
Bug 1123907 - Part 1: Add an analysis to ensure that a class marked MOZ_NEEDS_NO_VTABLE_TYPE cannot be instantiated by a class with a VTable; r=ehsan
2015-07-24 19:13:52 -04:00
Michael Layzell
7e6901b7fd
Bug 1185044 - Unify type annotation logic between MOZ_*_CLASS and MOZ_MUST_USE; r=ehsan
2015-07-24 19:13:15 -04:00
Michael Layzell
2021b2998c
Bug 1185188 - Support multiple clang-plugin annotations; r=ehsan
2015-07-24 19:12:54 -04:00
Michael Layzell
f3caaba03f
Bug 1180993 - Part 1: Add an analysis to help catch unused return values of specific types. r=ehsan
2015-07-10 09:46:00 -04:00
Botond Ballo
63b921afe7
Bug 1170388 - Restrict the static analysis error given about raw pointers to refcounted objects inside a lambda, to the case where the raw pointer is captured. r=ehsan
...
--HG--
extra : rebase_source : 28cd2aa684abf505edbcdbc449c8cf056d3b0ee6
extra : source : 28c2862d29b8a2cb0d03cf38430f17abc269225b
2015-06-03 16:51:36 -04:00
Botond Ballo
b197e46728
Backed out d952a7d6bfb4 (bug 1170388) on a CLOSED TREE for static analysis bustage. r=bustage
2015-06-05 00:14:14 -04:00
Botond Ballo
f03fd8179e
Bug 1170388 - Restrict the static analysis error given about raw pointers to refcounted objects inside a lambda, to the case where the raw pointer is captured. r=ehsan
...
--HG--
extra : rebase_source : c76a1dbb2942a07788ec1e87bc5edab79bfee3f5
extra : source : 4abfbfd822789a609c5a7c8c7eef499c776ba489
2015-06-03 16:51:36 -04:00