Commit Graph

31 Commits

Author SHA1 Message Date
Ehren Metcalfe
20f9e7eb23 Bug 575720 - static checking suite: use Dehydra multiple-arg support + fix method signature comparison in several scripts r=taras 2010-08-18 18:06:05 -07:00
Ehren Metcalfe
eb502f10f4 Bug 576214 - fix NS_STACK_CLASS analysis for Dehydra with GCC 4.5 r=taras 2010-08-18 18:05:49 -07:00
Ehren Metcalfe
89f08aef5e Bug 573786 - Script to detect static initializers r=taras 2010-08-18 18:04:39 -07:00
Josh Matthews
dc961dbb27 Bug 551286: Add a per function 'final' keyword in C++. r=tglek 2010-03-28 11:44:33 -04:00
Benjamin Smedberg
2bb0130dcb Fix the static analysis error: m.isVirtual is a tri-state undefined, true, or "pure", and I didn't take that into account when writing the original NS_OVERRIDE analysis. 2009-10-04 14:35:33 -04:00
Benjamin Smedberg
50d59bbf8a Bug 500870 - NS_OVERRIDE indicates that a method must override a base-class method, r=taras
--HG--
extra : rebase_source : 3dc3327030dc2cdf45bdd9170c5e9d02908c0d0c
2009-09-04 11:21:31 -04:00
Taras Glek
9b788e903b Bug 512726 - Add NS_MUST_OVERRIDE static annotation. r=bsmedberg
--HG--
extra : rebase_source : 4f3034c93cc76c7504d1cfb21953c495c35d068f
2009-09-18 10:26:13 -07:00
Benjamin Smedberg
2e9438fd2f Followup to bug 398573 - remove REQUIRES from the tree since it is no longer used... automatically generated patch, rs=ted 2009-08-25 08:59:31 -07:00
Benjamin Smedberg
f781ac7771 Resolve the static-analysis bustage from bug 498938 by recognizing COND_EXPR. 2009-07-27 10:47:22 -04:00
Benjamin Smedberg
f254f1b0b4 Static analysis test cases for bug 479441 2009-02-24 10:11:06 -05:00
Benjamin Smedberg
829d712e59 Disable the outparams warning "written on NS_FAILED"... we should focus first on the "not written on NS_SUCCEEDED" warnings, which are generally more serious. No bug, NPODB, CLOSED TREE a=johnath 2008-12-09 17:34:48 -05:00
Benjamin Smedberg
cfb7d3a3c4 When operator new is used on a class with no constructor it generates an AGGR_INIT_EXPR, not a CALL_EXPR... with testcase. NPODB, static-checking only. 2008-12-03 11:49:54 -05:00
Benjamin Smedberg
6925784a52 I switched the stack checker to emit warnings instead of errors. Update the testcases expected results to match. 2008-12-03 11:49:54 -05:00
Justin Wood
b2458c170c Bug 463824, Introduce GLOBAL_DEPS to build system
r=ted, a1.9.1=beltzner [js bits rs=sdwilsh]
2008-11-27 18:26:44 -08:00
Shawn Wilsher
19fcb4b6ab Backed out changeset 87f6ae0c4324 (bug 435474) for orange. 2008-11-27 13:15:18 -08:00
Justin Wood
293c89f577 Bug 463824, Introduce GLOBAL_DEPS to build system
r=ted, a1.9.1=beltzner
2008-11-27 12:27:41 -08:00
Jim Blandy
6721e0d7d2 Bug 462451: Don't be confused by .deps dirs in the source tree. r=bsmedberg
$(MDDEPDIR) needs to be created in the build tree, but if make rules
list $(MDDEPDIR) as a dependency, then the VPATH search will tend to
find dependency directories in source trees if the source tree has
been configured in the past.  So use $(CURDIR)/$(MDDEPDIR) instead.

Some directory Makefiles have been adding $(MDDEPDIR) to MAKE_DIRS and
GARBAGE_DIRS explicitly, since they're not setting any of the
variables that would cause config/rules.mk to create $(MDDEPDIR)
automatically.  Those makefiles would have to use the $(CURDIR) trick
to defeat the VPATH search, too.  Instead, have rules.mk check an
additional variable NEED_MDDEPDIRS, and let the makefiles set that;
this keeps the magic in one place.
2008-11-10 12:55:46 -08:00
Taras Glek
30aa910a7e bug 432917: MUST_FLOW_THROUGH static check. r=bsmedberg 2008-09-08 11:01:22 -07:00
Benjamin Smedberg
71120220a3 Bug 453349 - stack-only checker skips conditional blocks, r=dmandelin 2008-09-03 13:00:13 -04:00
Benjamin Smedberg
8bc1d968b3 Followup to bug 451079 to move/add testcase files.
--HG--
rename : xpcom/tests/static-checker/e3.cpp => xpcom/tests/static-checker/onull2.cpp
2008-09-02 13:36:19 -04:00
David Mandelin
8c7d60a450 Bug 451079: allow setting outparams to null on failure 2008-08-19 11:17:13 -07:00
David Mandelin
1ebc6e6f68 Bug 443205: outparams.js needs to consider void-return funcs as nofail, r=bsmedberg 2008-07-09 10:35:29 -07:00
David Mandelin
f6af06076a Bug 442982: outparams.js now understands func ptr typedef attributes, r=bsmedberg 2008-07-01 14:24:58 -07:00
David Mandelin
3dac3ac31c Bug 442829: outparams.js handling nsresults returned as &rv, r=bsmedberg 2008-07-01 14:22:49 -07:00
Benjamin Smedberg
b9a9e3d81f Bug 425454 - whitelist placement-new for stack classes. Also uses treehydra analysis so we don't have to require a constructor for stack classes any more. r=taras 2008-06-30 12:44:06 -04:00
David Mandelin
d591c8c92c Bug 431832: check outparams for PRBool or void return, r+a=bsmedberg 2008-05-20 11:26:03 -07:00
Benjamin Smedberg
9aaf941d31 Bug 432278 - Fix a couple of the static-checking testcases: clean up the makefile-fu a little bit, and add a new class of test: one which should issue warnings, which equates to "should fail with -Werror and should pass without -Werror." r=dmandelin 2008-05-05 14:32:31 -04:00
David Mandelin
a326cd2356 Bug 431965: checking in tests forgotten before (r/a=bsmedberg from bug 420933) 2008-05-05 10:24:13 -07:00
David Mandelin
dbe96cfe58 Bug 431832: NS_inparams attr for outparams checker, r=bsmedberg, a=bsmedberg 2008-05-02 18:03:38 -07:00
David Mandelin
e2ac3c1005 Bug 420933: outparams checker, r=bsmedberg, a=bsmedberg 2008-04-30 17:47:27 -07:00
benjamin@smedbergs.us
27523547f0 Bug 419624 - Build framework, basic usage, and testsuite for statically checking the codebase using gcc-dehydra, r=luser,dbaron,tglek 2008-02-27 11:28:13 -05:00