[llvm-bugs] [Bug 26578] New: Error Running Scan-build on Win 7

Thu Feb 11 11:27:04 PST 2016

https://llvm.org/bugs/show_bug.cgi?id=26578

            Bug ID: 26578
           Summary: Error Running Scan-build on Win 7
           Product: clang
           Version: trunk
          Hardware: PC
                OS: other
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: lockhaja at mail.uc.edu
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 15888
  --> https://llvm.org/bugs/attachment.cgi?id=15888&action=edit
Output Files from Error Scan-build Run

Was running the scan-build command today on some code I am working on for a
project, and the tool threw an error on the pre-processing portion, prior to
looking for bugs. I have attached a .zip file of the full report that was
generated by scan-build. Below is the command I used to launch the tool and the
output once it launches the perl version. I am running on Windows 7 x64. I was
using gcc with the -std=c99 flag. I am filing this report because the output
from scan-build recommended I should. 

C:\>scan-build -v -v -o C:\Users\lockhaja_local\Desktop\Scan-Build\
--use-analyz
er=C:\build\Debug\bin\clang.exe gcc -std=c99
"C:\Users\lockhaja_local\Dropbox\In
dependent Study and Doctoral Research\Programs for Testing Between
Computers\ele
vatorV1.c"

C:\>perl -S scan-build -v -v -o C:\Users\lockhaja_local\Desktop\Scan-Build\
--us
e-analyzer=C:\build\Debug\bin\clang.exe gcc -std=c99
"C:\Users\lockhaja_local\Dr
opbox\Independent Study and Doctoral Research\Programs for Testing Between
Compu
ters\elevatorV1.c"
scan-build: Using 'C:\build\Debug\bin\clang.exe' for static analysis
scan-build: Emitting reports for this run to
'C:/Users/lockhaja_local/Desktop/Sc
an-Build/2016-02-11-141851-3648-1'.

C:\>perl -S ccc-analyzer -std=c99 "C:\Users\lockhaja_local\Dropbox\Independent
S
tudy and Doctoral Research\Programs for Testing Between Computers\elevatorV1.c"

'uname' is not recognized as an internal or external command,
operable program or batch file.
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c: In function 'elevatorV1':
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c:71:6: warning: implicit declaration
of function 'emergencyShutdown' [-Wimplicit-function-declaration]
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c:76:6: warning: implicit declaration
of function 'determineDirection' [-Wimplicit-function-declaration]
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c:79:7: warning: implicit declaration
of function 'movingUp' [-Wimplicit-function-declaration]
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c:82:7: warning: implicit declaration
of function 'movingDown' [-Wimplicit-function-declaration]
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c: In function 'movingUp':
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c:131:2: warning: implicit
declaration
 of function 'counter' [-Wimplicit-function-declaration]
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c:133:2: warning: implicit
declaration
 of function 'stopElevator' [-Wimplicit-function-declaration]
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c: At top level:
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c:165:6: warning: conflicting types
fo
r 'emergencyShutdown' [enabled by default]
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c:71:6: note: previous implicit
declar
ation of 'emergencyShutdown' was here

[LOCATION]: C:/
'C:\build\Debug\bin\clang.exe' '-cc1' '-triple' 'i686-pc-windows-msvc18.0.0'
'-a
nalyze' '-disable-free' '-main-file-name' 'elevatorV1.c'
'-analyzer-store=region
' '-analyzer-opt-analyze-nested-blocks' '-analyzer-eagerly-assume'
'-analyzer-ch
ecker=core' '-analyzer-checker=unix.API' '-analyzer-checker=unix.Malloc'
'-analy
zer-checker=unix.MallocSizeof' '-analyzer-checker=unix.MismatchedDeallocator'
'-
analyzer-checker=unix.cstring.BadSizeArg'
'-analyzer-checker=unix.cstring.NullAr
g' '-analyzer-checker=deadcode'
'-analyzer-checker=security.insecureAPI.Unchecke
dReturn' '-analyzer-checker=security.insecureAPI.getpw'
'-analyzer-checker=secur
ity.insecureAPI.gets' '-analyzer-checker=security.insecureAPI.mktemp'
'-analyzer
-checker=security.insecureAPI.mkstemp'
'-analyzer-checker=security.insecureAPI.v
fork' '-analyzer-checker=nullability.NullPassedToNonnull'
'-analyzer-checker=nul
lability.NullReturnedFromNonnull' '-analyzer-output' 'plist' '-w'
'-mrelocation-
model' 'static' '-mthread-model' 'posix' '-mdisable-fp-elim' '-fmath-errno'
'-ma
sm-verbose' '-mconstructor-aliases' '-target-cpu' 'pentium4'
'-dwarf-column-info
' '-debugger-tuning=gdb' '-resource-dir'
'C:\build\Debug\bin\..\lib\clang\3.9.0'
 '-internal-isystem' 'C:\build\Debug\bin\..\lib\clang\3.9.0\include'
'-internal-
isystem' 'C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\include'
'-inte
rnal-isystem' 'C:\Program Files (x86)\Windows
Kits\10\Include\10.0.10240.0\ucrt'
 '-internal-isystem' 'C:\Program Files (x86)\Windows Kits\8.1\include\shared'
'-
internal-isystem' 'C:\Program Files (x86)\Windows Kits\8.1\include\um'
'-interna
l-isystem' 'C:\Program Files (x86)\Windows Kits\8.1\include\winrt' '-std=c99'
'-
fdebug-compilation-dir' 'C:\' '-ferror-limit' '19' '-fmessage-length' '0'
'-fms-
extensions' '-fms-compatibility' '-fms-compatibility-version=18'
'-fno-threadsaf
e-statics' '-fdelayed-template-parsing' '-fobjc-runtime=gcc'
'-fdiagnostics-show
-option' '-analyzer-display-progress' '-analyzer-output=html' '-o'
'C:/Users/loc
khaja_local/Desktop/Scan-Build/2016-02-11-141851-3648-1' '-x' 'c'
'C:\Users\lock
haja_local\Dropbox\Independent Study and Doctoral Research\Programs for Testing
Between Computers\elevatorV1.c'
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c:165:6: error: conflicting types for
'emergencyShutdown'
void emergencyShutdown() {
     ^
C:\Users\lockhaja_local\Dropbox\Independent Study and Doctoral
Research\Programs
 for Testing Between Computers\elevatorV1.c:71:6: note: previous implicit
declar
ation is here
                                        emergencyShutdown();
                                        ^
1 error generated.
scan-build: 0 bugs found.
scan-build: The analyzer encountered problems on some source files.
scan-build: Preprocessed versions of these sources were deposited in
'C:/Users/l
ockhaja_local/Desktop/Scan-Build/2016-02-11-141851-3648-1/failures'.
scan-build: Please consider submitting a bug report using these files:
scan-build:   http://clang-analyzer.llvm.org/filing_bugs.html

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20160211/b71816fb/attachment-0001.html>