]> git.tue.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f5ecfa) | patch
Silence a bogus scan-build warning.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 14 Nov 2017 02:14:47 +0000 (03:14 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 19 Nov 2017 01:53:33 +0000 (02:53 +0100)
commit006e53e5e4503defd5555522f6b38417faed451b
treee7e2f462f6b9f85854d9d221b7f54c708ef16b3atree | snapshot
parent1f5ecfacc341f893d73caa0a613d553af33a6cc9commit | diff
Silence a bogus scan-build warning.

We never pass a NULL pointer to create_snapshot(), but scan-build
is unable to prove this and claims that the array access results in
a  null pointer dereference. The added assertion helps the reader of
the code, and it quietens scan-build.
dss.c diff | blob | history
DSS - dyadic snapshot scheduler