Add DeepCode inline suppression

We just want a non-NUll pointer in the matching pid hashtable.
The pointer is not dereferenced anyways.
This commit is contained in:
Christian Göttsche 2020-09-24 20:03:33 +02:00 committed by cgzones
parent 594409f299
commit f4e1f4619f

1
htop.c
View File

@ -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);
}