From f4e1f4619f3761382d5e97ddf92237085a7bd443 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20G=C3=B6ttsche?= Date: Thu, 24 Sep 2020 20:03:33 +0200 Subject: [PATCH] Add DeepCode inline suppression We just want a non-NUll pointer in the matching pid hashtable. The pointer is not dereferenced anyways. --- htop.c | 1 + 1 file changed, 1 insertion(+) diff --git a/htop.c b/htop.c index a7b37acb..7bd15291 100644 --- a/htop.c +++ b/htop.c @@ -172,6 +172,7 @@ static CommandLineSettings parseArguments(int argc, char** argv) { while(pid) { unsigned int num_pid = atoi(pid); + // deepcode ignore CastIntegerToAddress: we just want a non-NUll pointer here Hashtable_put(flags.pidMatchList, num_pid, (void *) 1); pid = strtok_r(NULL, ",", &saveptr); }