Является ли доступ к данным вне массива некорректным, если вы его не используете?

В алгоритме, который я пишу, я могу иметь следующее (конечно, упрощенное)

int a[3] = {1,2,3};
int b = a[3];

, когда индекс, используемый для заполнения b , переполняется, I никогда не используйте значение b. Код все еще неверен? Должен ли я выполнять явную проверку границ?