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チェックは左辺で先にやる事。