search

brodieG / vetr

Trust, but Verify
79 stars 2 forks source link

Verify Pointer Alignment Compatible with Double #98

Open brodieG opened 4 years ago

brodieG commented 4 years ago

We write (char *) pointers to a malloc bloc that is double aligned; need to make sure the assumption that the alignment is compatible is true, e.g. in startup assertions.

I believe this is going to be TRUE just about everywhere, unless somewhere there is a 128 bit system with 64 bit doubles.

brodieG commented 4 years ago

Very low likelihood this is an issue so deferring for now. Would need to believe that sizeof() type tests would work and not get optimized out, etc..