lib/ukalloc: Remove unreachable NULL checks

These
    if (ptr && ...)
will always turn out true due to the preceding
    if (!ptr)

This was found by Coccinelle [0].

[0] https://coccinelle.gitlabpages.inria.fr/website/rules/notnull.cocci

Signed-off-by: Hugo Lefeuvre <hugo.lefeuvre@manchester.ac.uk>
Reviewed-by: Luca Seritan <luca.seritan@gmail.com>
Reviewed-by: Delia Pavel <delia_maria.pavel@stud.acs.upb.ro>
Approved-by: Simon Kuenzer <simon@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #840

diff --git a/lib/ukalloc/alloc.c b/lib/ukalloc/alloc.c
index 5b28483302e17cbecb139c89fc246c529936a02b..4c580bfd7438a1757f8af32460cf3e066ec7253d 100644 (file)
--- a/lib/ukalloc/alloc.c
+++ b/lib/ukalloc/alloc.c
@@ -212,7 +212,7 @@ void *uk_realloc_ifpages(struct uk_alloc *a, void *ptr, __sz size)
        if (!ptr)
                return uk_malloc_ifpages(a, size);
 
-       if (ptr && !size) {
+       if (!size) {
                uk_free_ifpages(a, ptr);
                return __NULL;
        }
@@ -423,7 +423,7 @@ void *uk_realloc_ifmalloc(struct uk_alloc *a, void *ptr, __sz size)
        if (!ptr)
                return uk_malloc_ifmalloc(a, size);
 
-       if (ptr && !size) {
+       if (!size) {
                uk_free_ifmalloc(a, ptr);
                return __NULL;
        }
@@ -529,7 +529,7 @@ void *uk_realloc_compat(struct uk_alloc *a, void *ptr, __sz size)
        if (!ptr)
                return uk_malloc(a, size);
 
-       if (ptr && !size) {
+       if (!size) {
                uk_free(a, ptr);
                return __NULL;
        }