Why not initialize all variables to zero?

By: Doug S (foo.delete@this.bar.bar), April 2, 2020 9:51 am
Room: Moderated Discussions
Etienne (etienne_lorrain.delete@this.yahoo.fr) on April 2, 2020 1:14 am wrote:
> I see another problem, about double initialisation: how the
> compiler detects a variable/structure is initialised?
> Obviously:
> - struct { int word[8]; } localvar ; memset (localvar, 0, sizeof(localvar));
> is initialised (unless memset is overwritten by LD_PRELOAD or -ffreestanding)
> but then there are more complex cases:
> - struct { int word[8]; } localvar ; my_memset (localvar, 0, sizeof(localvar));
> - struct { int word[8]; } localvar ; my_localvar_init (&localvar);
> - struct { int word[8]; } localvar ; if ( read(&localvar,
> buf, sizeof(localvar)) != sizeof(localvar)) return; ...
> - struct { int word[8]; } localvar ; if ( read(&localvar, buf, sizeof(localvar))
> != sizeof(localvar)) { perror(""); return; } ...
> And would the compiler initialise gaps in structures/unions?
> And should the compiler initialise fields in structure/unions that he knows are not used?


Why would DOUBLE initialization ever be a problem, other than the potential performance impact? (which in the limited number of cases where that was really important you could avoid by using a compiler option to disable the automatic initialization)

These are all great examples of why the compiler can't detect all cases of uninitialized variables. Let's say you typoed/thinkoed an assignment as "my_memset (localvar, 0, sizeof(globalvar));" so that localvar was only partially zeroed.

That would be EXACTLY the sort of bug that's going to be completely random depending on the state of the unzeroed portion of localvar and virtually impossible to detect because it would be so easy to scan past that assignment a thousand times without noticing the error.

Alternatively, if the size of globalvar was larger than localvar that assignment could assign other stack variables that you already set to non-zero values back to zero, resulting in bugs even more difficult to locate because in trying to track down the bug you wouldn't be looking at lines involving "localvar" at all.

Stuff like this is why these kind of bugs are FAR more common with stack variables than with global variables that always start their life in a known state. Sure, you can make similar mistakes involving global variables but the fewer lines of code you need to write the less opportunity you have to make such an error.
< Previous Post in ThreadNext Post in Thread >
TopicPosted ByDate
Why not initialize all variables to zero?Doug S2020/03/26 12:13 PM
  Most (all?) modern programming languages do this, right?Mark Roulo2020/03/26 04:44 PM
    Most (all?) modern programming languages do this, right?Konrad Scharz2020/03/27 01:09 AM
      Most (all?) modern programming languages do this, right?Gionatan Danti2020/03/27 03:13 AM
        Most (all?) modern programming languages do this, right?Foo_2020/03/27 03:45 AM
          Most (all?) modern programming languages do this, right?Gionatan Danti2020/03/27 09:19 AM
            Most (all?) modern programming languages do this, right?Foo_2020/03/28 02:32 AM
              Most (all?) modern programming languages do this, right?Montaray Jack2020/03/28 10:26 AM
      Most (all?) modern programming languages do this, right?Jeff S.2020/03/27 07:22 AM
        Most (all?) modern programming languages do this, right?anonymou52020/03/27 01:08 PM
  Why not initialize all variables to zero?Etienne2020/03/27 01:56 AM
    Why not initialize all variables to zero?NoSpammer2020/03/27 02:31 AM
  Why not initialize all variables to zero?Carlie Coats2020/03/27 06:17 AM
    Why not initialize all variables to zero?Jukka Larja2020/03/27 10:14 PM
      Why not initialize all variables to zero?Anon2020/03/28 12:01 AM
        Why not initialize all variables to zero?Jukka Larja2020/03/28 08:25 AM
          Why not initialize all variables to zero?Anon2020/03/28 11:20 AM
            Why not initialize all variables to zero?Jukka Larja2020/03/28 11:45 AM
              Why not initialize all variables to zero?Anon2020/03/28 01:21 PM
                Why not initialize all variables to zero?Jukka Larja2020/03/28 09:49 PM
    Why not initialize all variables to zero?Doug S2020/03/28 11:27 AM
      Why not initialize all variables to zero?Anon2020/03/28 01:24 PM
        Why not initialize all variables to zero?Carlie Coats2020/03/29 06:56 AM
  Why not initialize all variables to zero?Gabriele Svelto2020/03/27 06:52 AM
    Why not initialize all variables to zero?Foo_2020/03/28 02:34 AM
      Why not initialize all variables to zero?Linus Torvalds2020/03/28 09:40 AM
        Why not initialize all variables to zero?Doug S2020/03/28 11:21 AM
          Why not initialize all variables to zero?Linus Torvalds2020/03/28 01:01 PM
            Why not initialize all variables to zero?Etienne2020/04/02 01:14 AM
              Why not initialize all variables to zero?gallier22020/04/02 05:41 AM
              Why not initialize all variables to zero?Doug S2020/04/02 09:51 AM
        Why not initialize all variables to zero?Gabriele Svelto2020/03/28 01:46 PM
          Why not initialize all variables to zero?Linus Torvalds2020/03/28 04:28 PM
            Why not initialize all variables to zero?Anon32020/03/29 04:23 AM
            Why not initialize all variables to zero?Gabriele Svelto2020/03/29 12:28 PM
              Why not initialize all variables to zero?Anon32020/03/29 01:05 PM
                Why not initialize all variables to zero?Gabriele Svelto2020/03/30 12:52 AM
        Why not initialize all variables to zero?Carlie Coats2020/03/29 07:03 AM
        Why not initialize all variables to zero?gallier22020/03/29 11:48 PM
          Why not initialize all variables to zero?Michael S2020/03/30 02:24 AM
            Why not initialize all variables to zero?gallier22020/03/30 03:11 AM
        Why not discard variables after last use?2020/03/31 08:02 AM
          Makes no sense at allHeikki Kultala2020/03/31 01:01 PM
            An example (maybe)Mark Roulo2020/03/31 04:07 PM
              An example (maybe)Doug S2020/04/01 11:01 AM
                An example (maybe)Simon Farnsworth2020/04/02 02:21 AM
            Why not discard variables after last use?2020/04/02 12:41 PM
    Why not initialize all variables to zero?j2020/03/28 09:16 AM
    Why not initialize all variables to zero?Montaray Jack2020/03/28 11:42 AM
  Why not initialize all variables to zero?blaine2020/03/27 01:23 PM
    Why not initialize all variables to zero?James2020/03/28 03:18 AM
      Why not initialize all variables to zero?Anon32020/03/28 05:14 AM
      Why not initialize all variables to zero?Doug S2020/03/28 11:32 AM
        Why not initialize all variables to zero?Anon32020/03/28 11:45 AM
    Why not initialize all variables to zero?gallier22020/03/30 12:03 AM
  Why not initialize all variables to zero?gallier22020/03/29 11:32 PM
    Why not initialize all variables to zero?Michael S2020/03/30 02:30 AM
      Why not initialize all variables to zero?gallier22020/03/30 03:45 AM
Reply to this Topic
Name:
Email:
Topic:
Body: No Text
How do you spell purple?