[LLVMbugs] [Bug 6033] New: clang analyzer bug: Assertion `isdigit(*DiagStr) && " Invalid format for argument in diagnostic"' failed.

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: clang analyzer bug: Assertion `isdigit(*DiagStr) &&
                    "Invalid format for argument in diagnostic"' failed.
           Product: new-bugs
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: regehr at cs.utah.edu
                CC: llvmbugs at cs.uiuc.edu


regehr at john-home:~/volatile/bugs/tmp257$ clang --analyze small.c
small.c:3:21: warning: declaration of 'struct userconf' will not be visible
      outside of this function
pw_password (struct userconf *cnf, struct cargs *args, char const *user)
                    ^
small.c:3:43: warning: declaration of 'struct cargs' will not be visible
outside
      of this function
pw_password (struct userconf *cnf, struct cargs *args, char const *user)
                                          ^
small.c:10:1: warning: control reaches end of non-void function [-Wreturn-type]
}
^
small.c:7:28: warning: clang: Diagnostic.cpp:755: void
clang::DiagnosticInfo::FormatDiagnostic(llvm::SmallVectorImpl<char>&) const:
Assertion `isdigit(*DiagStr) && "Invalid format for argument in diagnostic"'
failed.
0  clang 0x090ee918
Stack dump:
0.      Program arguments: /home/regehr/z/tmp/llvm-gcc-r93238-install/bin/clang
-cc1 -triple i386-pc-linux-gnu -analyze -disable-free -main-file-name small.c
-analyzer-store=region -analyzer-opt-analyze-nested-blocks -warn-dead-stores
-warn-security-syntactic -checker-cfref -analyzer-eagerly-assume
-warn-objc-methodsigs -warn-objc-unused-ivars -analyzer-output plist
-mrelocation-model static -mdisable-fp-elim -target-cpu pentium4 -resource-dir
/home/regehr/z/tmp/llvm-gcc-r93238-install/lib/clang/1.1 -fmessage-length 80
-fgnu-runtime -fdiagnostics-show-option -fcolor-diagnostics -o small.plist -x c
small.c 
1.      <eof> parser at end of file
clang: error: analyzer command failed due to signal 6 (use -v to see
invocation)
regehr at john-home:~/volatile/bugs/tmp257$ cat small.c
typedef unsigned int __uint32_t;
char *
pw_password (struct userconf *cnf, struct cargs *args, char const *user)
{
  __uint32_t tmp;
  int __tmp__110;
  while (__tmp__110 < (tmp % 1))
    {
    }
}
regehr at john-home:~/volatile/bugs/tmp257$ clang -v
clang version 1.1 (trunk 93238)
Target: i386-pc-linux-gnu
Thread model: posix


-- 
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.