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

[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