[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