[cfe-dev] RFC redundant assignment in switch

Daniel Marjamäki Daniel.Marjamaki at evidente.se
Tue Apr 1 09:28:58 PDT 2014


> Speaking as someone who has tried to use the static analyser on a
> largish code base in the recent past, I would *much* rather see a
> separate checker.  We have literally hundreds of false positives from
> dead stores and actively ignore them.  A "dead store due to fall-through
> case" on the other hand is likely a bug and is thus very interesting.
>
> To be clear, I'm most commenting on reporting *interface* not
> *implementation*.

thanks!

yes I think *interface* and *implementation* is different things. I have no objection about implementing this in the dead stores checker. and I'd be happy to separate the interface.

..................................................................................................................
Daniel Marjamäki Senior Engineer
Evidente ES East AB  Warfvinges väg 34  SE-112 51 Stockholm  Sweden

Mobile:                 +46 (0)709 12 42 62
E-mail:                 Daniel.Marjamaki at evidente.se

www.evidente.se




More information about the cfe-dev mailing list