[riot-commits] [RIOT-OS/RIOT] d0294d: make: enable `assert()` in `make scan-build`
Martine Lenders
authmillenon at gmail.com
Fri Sep 25 11:06:26 CEST 2015
Branch: refs/heads/master
Home: https://github.com/RIOT-OS/RIOT
Commit: d0294dd70edf06548ac0e8b71ff2dce896042edb
https://github.com/RIOT-OS/RIOT/commit/d0294dd70edf06548ac0e8b71ff2dce896042edb
Author: René Kijewski <rene.kijewski at fu-berlin.de>
Date: 2015-09-24 (Thu, 24 Sep 2015)
Changed paths:
M Makefile.cflags
M Makefile.scan-build
Log Message:
-----------
make: enable `assert()` in `make scan-build`
Compare scan-build's [documentation][1]:
> ALWAYS analyze a project in its "debug" configuration
>
> Most projects can be built in a "debug" mode that enables assertions.
> Assertions are picked up by the static analyzer to prune infeasible
> paths, which in some cases can greatly reduce the number of false
> positives (bogus error reports) emitted by the tool.
Closes #3960.
1: http://clang-analyzer.llvm.org/scan-build.html#recommended_debug
Commit: e526433f206ce70c004f51a4f256000e1458e07b
https://github.com/RIOT-OS/RIOT/commit/e526433f206ce70c004f51a4f256000e1458e07b
Author: Martine Lenders <authmillenon at gmail.com>
Date: 2015-09-25 (Fri, 25 Sep 2015)
Changed paths:
M Makefile.cflags
M Makefile.scan-build
Log Message:
-----------
Merge pull request #3962 from Kijewski/scan-build_kinda_inplies_that_assertions_should_be_enabled_doesnt_it__well_in_either_case_this_pr_fixes_issue_3960
make: enable `assert()` in `make scan-build`
Compare: https://github.com/RIOT-OS/RIOT/compare/161a76680fdc...e526433f206c
More information about the commits
mailing list