[Bug analyzer/100705] New: warn about dead store

[mail at milianw dot de via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100705

            Bug ID: 100705
           Summary: warn about dead store
           Product: gcc
           Version: 11.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: mail at milianw dot de
  Target Milestone: ---

Hey there,

in a large code base I'm working on I stumbled over code in one area that
basically did the below, but in a more elaborate manner. It would have been
quite helpful to get a warning when `-fanalyzer` is passed, because in my
opinion, this code is bogus:

```
struct Properties
{
    int foo = 0;
    int bar = 0;
};

Properties asdf()
{
    Properties ret;
    ret.foo = 42; // warning: this has no effect
    ret.bar = 1;
    ret.foo = 12; // b/c it's unconditionally overwritten here
    return ret;
}
```

Thanks