Uploaded image for project: 'SonarCFamily'
  1. SonarCFamily
  2. CPP-1750

SE: Fix IllegalStateException

    XMLWordPrintable

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: 6.0
    • Component/s: Symbolic Execution
    • Labels:
      None

      Description

      reproducer:

      int unknown;
      
      void fun(int relpkindex, int relreplindex, int indexOid) {
        int isPK = indexOid == relpkindex;
        int isIDKey = indexOid == relreplindex;
        if (isPK)  {
          if (isIDKey) {
            if (isPK) {
              indexOid = unknown;
              isPK = indexOid == relpkindex;
              isIDKey = indexOid == relreplindex;
              if (isPK && isIDKey) {
                if (isPK) ;
                relpkindex;
                relreplindex;
              }
            }
          }
        }
      }
      

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              evgeny.mandrikov Evgeny Mandrikov
              Reporter:
              massimo.paladin Massimo PALADIN
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

                Dates

                Created:
                Updated:
                Resolved: