• Nils Goroll's avatar
    TAKE_OBJ_NOTNULLification: cases with the first AN(objp) missing · 65cd2e05
    Nils Goroll authored
    in these cases, the initial AN(objp) was missing, so we would
    potentially dereference a NULL pointer without an explicit assertion
    failure.
    
    in VCL_Rel(), AN(*vcc) was likely just a typo resulting in a semantic
    noop (the check was a duplication of the NULL check in
    CHECK_OBJ_NOTNULL).
    
    ... more examples why using the macro is a good idea
    65cd2e05
take_obj_notnull.cocci 1.11 KB