C99 [Раздел 6.3.2.1/1
] говорит
lvalue - это выражение с типом объекта или неполный тип, отличный от недействительного; если lvalue не обозначает объект при его оценке, поведение не определено.
Что означает часть, выделенная жирным шрифтом ? Может кто-нибудь объяснить это на примере?