]> git.tue.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 006e53e) | patch
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)
commitbe3b0326d868aed97fc4224dcbf0266c303d2871
treecb97c55debde5e15e6802395ffa45ce06b47842ftree | snapshot
parent006e53e5e4503defd5555522f6b38417faed451bcommit | diff
ipc.c: Remove a dead store.

scan-build correctly points out that the value stored to 'name'
is never read.
ipc.c diff | blob | history
DSS - dyadic snapshot scheduler