diff options
| author | Daniel Mack <github@zonque.org> | 2016-01-21 11:50:08 +0100 |
|---|---|---|
| committer | Daniel Mack <github@zonque.org> | 2016-01-21 11:50:08 +0100 |
| commit | 9ecbcdffdf15bb76f57e8c403070dd43e206858d (patch) | |
| tree | 421146d2e57a799d6ee8e62f3f80bcf4eba87885 /src/basic/barrier.c | |
| parent | 5c9ddf7ff49a89639e0d7fe86022f5f125803f45 (diff) | |
| parent | 2a836ca9703689ba05513c98fb293b91a186a9ac (diff) | |
Merge pull request #2391 from keszybz/coverity
Coverity inspired fixes
Diffstat (limited to 'src/basic/barrier.c')
| -rw-r--r-- | src/basic/barrier.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/basic/barrier.c b/src/basic/barrier.c index 9a78a80eb2..26ae123341 100644 --- a/src/basic/barrier.c +++ b/src/basic/barrier.c @@ -197,6 +197,7 @@ static bool barrier_write(Barrier *b, uint64_t buf) { if (barrier_i_aborted(b)) return false; + assert(b->me >= 0); do { len = write(b->me, &buf, sizeof(buf)); } while (len < 0 && IN_SET(errno, EAGAIN, EINTR)); |