C28182

警告的 C28182:取消引用 NULL 指针。

附加信息: <pointer1> 包含与 <pointer2> 执行 <说明> 的 null 值

代码分析工具报告此警告，则确认时指针可以为空。如果存在错误在跟踪可能发生之前的未确认实例，代码分析工具添加第一个实例的行号到警告消息，以便您可以更改代码解决所有实例。

<pointer2> 认证是可以为 NULL 的。 <pointer1> 包含值和 pointer2 与和取消引用。由于这些指针可能在特定代码的不同位置，两个报告，以便您可以确定代码分析工具原因报告此警告。

如果条件中未确认早期的实例存在，则 <说明> 将此文本替换:“为可能会较早的位置请参见行 <数字> ”。

示例

会导致代码分析工具生成该警告消息下面的示例演示代码。在此示例中，代码分析工具确定 pNodeFree 为空在 if 语句，因此，代码路径。 if 的主体中上。但是，在中，因为 nBlockSize 可能是零， for 语句的主体不执行，并 pNodeFree 将非限定。pNodeFree 然后分配给 pNode，因此，使用 pNode ，在将 null 取消引用可能发生时。

typedef struct xlist {
    struct xlist *pNext;
    struct xlist *pPrev;
} list;

list *pNodeFree;
list *masterList;
int nBlockSize;

void fun()
{
    if (pNodeFree == 0)
    {
        list *pNode = masterList;

        for (int i = nBlockSize-1; i >= 0; i--, pNode--)
        {
            pNode->pNext = pNodeFree;
            pNodeFree = pNode;
        }
    }

    list* pNode = pNodeFree;
    pNode->pPrev = 0;
}

代码分析工具报告以下警告:

:\sample\testfile.cpp(24) : warning C28182: Dereferencing NULL pointer. 'pNode' contains the same NULL value as 'pNodeFree' did.: Lines: 12, 14, 16, 23, 24

一种更正前面的示例将检查 pNode 零在取消引用它，才能使一个空取消引用中避免。下面的代码演示此更正。

typedef struct xlist {
    struct xlist *pNext;
    struct xlist *pPrev;
} list;

list *pNodeFree;
list *masterList;
int nBlockSize;

void fun()
{
    if (pNodeFree == 0)
    {
        list *pNode = masterList;

        for (int i = nBlockSize-1; i >= 0; i--, pNode--)
        {
            pNode->pNext = pNodeFree;
            pNodeFree = pNode;
        }
    }

    list* pNode = pNodeFree;
    if(pNode != 0)
      pNode->pPrev = 0;
}