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

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Fri Sep 28 11:36:13 PDT 2012


             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.

More information about the llvm-bugs mailing list