> > However, for integer and pointer types there are "trap representations".
Should be: for integer and pointer types there are _no_ "trap representations".
> all potentially uninitialized variables are size_t ones, thus
> unsigned integer types; these do not have trap representations.
Yes, it depends on the type.
> > > ok to apply?
> >
> > No. The patch adds useless memory stores which slow down the code.
>
> Of course. Do you think it would be useful to add debug code to
> initialize them (guarded by some preprocessor define that evaluates to 0
> by default)?
This would be ok, yes. The processor define that other files already
use for this purpose is
#ifdef lint
Bruno