diff options
| author | Thanos Makatos <thanos.makatos@nutanix.com> | 2020-11-23 07:06:58 -0500 |
|---|---|---|
| committer | Thanos <tmakatos@gmail.com> | 2020-11-23 12:56:08 +0000 |
| commit | 2579c655dd73a06a4e330c415703199b8d0e70c3 (patch) | |
| tree | 6ff0c8f053b2313b6f44449d5e64b348130f1b4b /samples | |
| parent | f2f23168dbf5002660fa6b252a55ad79b5746993 (diff) | |
| download | libvfio-user-2579c655dd73a06a4e330c415703199b8d0e70c3.zip libvfio-user-2579c655dd73a06a4e330c415703199b8d0e70c3.tar.gz libvfio-user-2579c655dd73a06a4e330c415703199b8d0e70c3.tar.bz2 | |
silence false positive Coverity warning
Signed-off-by: Thanos Makatos <thanos.makatos@nutanix.com>
Diffstat (limited to 'samples')
| -rw-r--r-- | samples/server.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/samples/server.c b/samples/server.c index 8502331..d0482d2 100644 --- a/samples/server.c +++ b/samples/server.c @@ -397,6 +397,7 @@ int main(int argc, char *argv[]) errx(EXIT_FAILURE, "missing MUSER socket path"); } + /* coverity[NEGATIVE_RETURNS] */ server_data.bar1 = malloc(sysconf(_SC_PAGESIZE)); if (server_data.bar1 == NULL) { err(EXIT_FAILURE, "BAR1"); |