But it would be also possible that sentinel value used for comparison changed because of bitflip, not data structure used by program.

Detecting that is the point, yes.