Fix 13665: FP uninitvar for struct reference and arrow operator

[pfultz2]

No description provided.

[chrchr-github]

Should we really restore the simplification? It seems like this only masks issues in other areas.

[pfultz2]

There seems to be a lot of work to make this work in valueflow and it still doesn't completely work since the variable is not set and it uses the wrong exprid.

What issues does this mask? Perhaps its simpler to fix those issues instead. Maybe a flag could be added to the Token.

[chrchr-github]

What issues does this mask? Perhaps its simpler to fix those issues instead. Maybe a flag could be added to the Token.

I was thinking of the comments in https://trac.cppcheck.net/ticket/13665. We would also reintroduce a FN uninitvar.

[pfultz2]

I was thinking of the comments in https://trac.cppcheck.net/ticket/13665.

What specifically are you referring to?

We would also reintroduce a FN uninitvar.

Let me look at the FN to see what the issue is.

[pfultz2]

@chrchr-github Fixed the false negatives, which also fixed a case with dirent as well.