Я возиться с C указателями. Когда я компилирую и запускаю следующий код.

Пример 1:

#include <stdio.h>

int main()
{
    int k;
    int *ptr;
    k = 555;
    if (ptr == NULL) {
        printf("ptr is NULL\n");
    } else {
        printf("ptr is not NULL\n");
        printf("ptr value is %d\n", *ptr);
    }
    printf("ptr address is %p\n", ptr);
}

Я получаю вывод:

ptr is not NULL
ptr value is 1
ptr address is 0x7fff801ace30

Если я не назначу значение для k:

Пример 2:

#include <stdio.h>

int main()
{
    int k;
    int *ptr;
    if (ptr == NULL) {
        printf("ptr is NULL\n");
    } else {
        printf("ptr is not NULL\n");
        printf("ptr value is %d\n", *ptr);
    }
    printf("ptr address is %p\n", ptr);
}

Тогда результат, как я ожидаю:

ptr is NULL
ptr address is (nil)

Точно так же, если я определяю переменные вне функции:

Пример 3:

#include <stdio.h>

int k;
int *ptr;

int main()
{
    k = 555;
    if (ptr == NULL) {
        printf("ptr is NULL\n");
    } else {
        printf("ptr is not NULL\n");
        printf("ptr value is %d\n", *ptr);
    }
    printf("ptr address is %p\n", ptr);
}

Выход:

ptr is NULL
ptr address is (nil)

В первом примере, где у ptr есть адрес и значение, это ожидаемое поведение? Если так, то:

Почему у ptr есть адрес и значение?Откуда они берутся, что их устанавливает?Как правильно определить нулевые указатели в локальной области и сохранить их пустыми, пока я не буду готов к использованию?

Я компилирую с gcc на Ubuntu 12.04.04 на x64:

root@dev:~# gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.6/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.6.3-1ubuntu5' --with-bugurl=file:///usr/share/doc/gcc-4.6/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.6 --enable-shared --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.6 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin --enable-objc-gc --disable-werror --with-arch-32=i686 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5)

РЕДАКТИРОВАТЬ

Я пронумеровал мои примеры выше для ясности.

Основываясь на ответе Дитриха, я немного искал и нашел этот вопрос:Почему глобальные переменные всегда инициализируются на «0», а не локальные переменные?.