home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / std / c / 3348 < prev    next >
Encoding:
Text File  |  1993-01-08  |  1.6 KB  |  48 lines
  1. Newsgroups: comp.std.c
  2. Path: sparky!uunet!unislc!ttobler
  3. From: ttobler@unislc.uucp (Trent Tobler)
  4. Subject: Re: Struct hack one last time (one last time)
  5. X-Newsreader: Tin 1.1 PL5
  6. References: <1993Jan8.190840.11087@taumet.com>
  7. Message-ID: <1993Jan8.220422.20084@unislc.uucp>
  8. Organization: Unisys Corporation SLC
  9. Date: Fri, 8 Jan 1993 22:04:22 GMT
  10. Lines: 36
  11.  
  12. Steve Clamage (steve@taumet.com) wrote:
  13. : msb@sq.sq.com (Mark Brader) writes:
  14. : 
  15. : >In particular, it could not modify padding at the end of a struct,
  16. : >precisely *because* it would break the struct hack.
  17. : 
  18. : We seem to have some circular reasoning here.
  19. : 
  20. : I proposed an implemention which I claimed was conforming on which
  21. : the struct hack would not work; therefore the struct hack is illegal.
  22.  
  23.  ...
  24.  
  25. : For example, if the struct hack is strictly conforming, what about this:
  26. : 
  27. :     struct S {
  28. :         double a[2];
  29. :         double b;
  30. :     } s;
  31. :     s.a[2] = 1.0;
  32. : 
  33. : The array reference exceeds the declared bounds of s.a, but not the
  34. : bounds of object s, because sizeof(s) can't be smaller than
  35. : sizeof(a)+sizeof(b).  If a compiler can't add padding to the end of
  36. : the struct for other than alignment, then surely it can't add padding
  37. : between a and b, because it can't be required for alignment.  Therefore
  38. : s.a[2] must be the same as s.b.
  39.  
  40. First off, the compiler is free to add padding for whatever reasons it
  41. wants.. but it must not depend on the value of this padding information.
  42. Second, in your example, a[2] would be equal to 1.0.  It says nothing 
  43. about the value of b.  Because the contents of b may or may not be changed,
  44. it's value is not definite.
  45.  
  46. --
  47.   Trent Tobler
  48.