为什么VS2013抱怨"使用未初始化的内存"？

Question

为什么VS2013抱怨"使用未初始化的内存"？

sth*_*ago 7 c pointers visual-studio-2013

我有一个代码如下:

#include <stdio.h>
#include <stdlib.h>

typedef struct {
    char *a;
    char *b;
    int c;
} my_type;

void free_my_type(my_type *p) {
    if (p) {
        if (p->a) free(p->a);  // line 12
        if (p->b) free(p->b);  // line 13
        free(p);
    }
}

int main(void) {
    my_type *p = malloc(sizeof(*p));

    p->a = malloc(10);
    p->b = malloc(10);
    p->c = 10;

    free_my_type(p);

    return 0;
}

Run Code Online (Sandbox Code Playgroud)

VS的代码分析抱怨我是:

"C6001 Using uninitialized memory '*p'"

        '*p' is not initialized                             12
        Skip this branch, (assume 'p->b' is false)          13
        '*p' is used, but may not have been initialized     13

Run Code Online (Sandbox Code Playgroud)

我的意思是,它是一个指针,我正在检查它是否是NULL.我怎么知道*p是否被初始化？

奇怪的是,如果结构中只有一个其他指针 - char *a例如 - 仅警告不会触发.如果我free(p->b)之前做过,它也不显示free(p->a)(交换第12和13行).