[cfe-dev] [StaticAnalyzer] I think ExplodedGraph is wrong

[Aleksei Sidorin via cfe-dev]

Hello Daniel,

Thank you for report! Yes, I can confirm this bug. However, I cannot see 
this behaviour with an old version of clang: with clang-3.4.1 'b++' is 
still reachable. Will investigate.



08.09.2016 18:06, Daniel Marjamäki via cfe-dev пишет:
> Hello!
>
> When I analyze this code:
>
>      extern int Min,Max;
>      
>      void dfsd(int b) {
>          if (!(b >= Min && b < Max))
>            return;
>          b++;
>      }
>
> It says that "b++;" is unreachable. When I look at the ExplodedGraph it seems to me that there is no node below the return. I would like to debug this. But I don't know where I should look. Do you have some idea?
>
> Best regards,
> Daniel Marjamäki
>
> ..................................................................................................................
> 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
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev


-- 
Best regards,
Aleksei Sidorin
Software Engineer,
IMSWL-IMCG, SRR, Samsung Electronics