e5765.c

NULLチェックは先に

/* A:e5765: &&の左側で参照、右側でNULLチェックを行っていますが、逆にしないとNULL参照を招きます: x */

修正前
    if(x->size != 0 && x != NULL) /* NG NULLチェックを呼ぶ前にsize()を呼んでいる */
    {
    }
    
修正後
    if(x != NULL && x->size != 0)
    {
    }


解説
    先にNULLチェックをしないとNULLだった場合にNULL参照になるので、
    NULLチェックは左辺で先にやる事。