[LLVMbugs] [Bug 13974] New: Analyzer does not track the value of '(*argv)', where 'argv += optind(); '

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=13974

             Bug #: 13974
           Summary: Analyzer does not track the value of '(*argv)', where
                    'argv += optind();'
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: ganna at apple.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


unsigned optind();
int foo(char *argv[], int *p) {
  argv += optind();
  if (!*argv) {
    p = 0;
  }

  if (*argv) {
    return *p;
  }
  return 0;
}

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.