[C言語] 配列の範囲外アクセスを抑制する

main.c

#include <stdio.h>

enum
{
    TABLESIZE = 10
};

static int table[TABLESIZE] = {12, 14, 16, 77, 65};

int *f(size_t index)
{
    if (index < TABLESIZE)
        return table + index;

    return NULL;
}

int main(void)
{
    for (int i = -3; i < 5; ++i)
    {
        int *num = f(i);
        if (num == NULL)
        {
            printf("Error");
            continue;
        }
        printf("%d ", *num);
    }
    return 0;
}

まず、-3をsize_t型にキャストすることにより非常に大きいindexがf関数に与えられるため、f関数はNULLを返す。
これをmain関数内のprintf関数で参照することで、NULLポインタの参照が発生している。
NULLポインタ参照は未定義動作であり実行環境によりその振る舞いは異なるため、segvとなってもおかしくない。

continue忘れてた。
thank you!
@kAwA1290