]> git.tuebingen.mpg.de Git - dss.git/commitdiff
projects / dss.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: be3b032)
ipc.c: Remove a dead store.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 14 Nov 2017 02:18:10 +0000 (03:18 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 19 Nov 2017 01:53:33 +0000 (02:53 +0100)
scan-build correctly points out that the value stored to 'name'
is never read.


No differences found
DSS - dyadic snapshot scheduler