diff options
author | Christian Göttsche <cgzones@googlemail.com> | 2020-09-24 20:03:33 +0200 |
---|---|---|
committer | cgzones <cgzones@googlemail.com> | 2020-09-24 20:04:47 +0200 |
commit | f4e1f4619f3761382d5e97ddf92237085a7bd443 (patch) | |
tree | 4a09df98047315754a83d9083cf67adbc89657cd /htop.c | |
parent | 594409f2990e8068d2993ee89e714eddfab5f06d (diff) |
Add DeepCode inline suppression
We just want a non-NUll pointer in the matching pid hashtable.
The pointer is not dereferenced anyways.
Diffstat (limited to 'htop.c')
-rw-r--r-- | htop.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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); } |