> -- GUEST писал(а):
> Было уже подчеркнуто, что он делает необоснованные предположения об инициализации. Или этого мало?

Для интереса проверил сейчас на VC9:
## Код:
```
struct X
{
int x;
};

bool f(X* p)
{
    p->x = 1;
    return p ? true : false;
}
```


Без оптимизации:
## Код:
```
cmp DWORD PTR _p$[ebp], 0
    setne   al
```


С оптимизацией:
## Код:
```
mov al, 1
```


Комментируем "p->x = 1;":
## Код:
```
cmp DWORD PTR _p$[esp-4], 0
    setne   al
```


Что и требовалось доказать.