blob: 8717225c18db3ca4fae214925e09a8b2c117732e [file] [log] [blame]
Ted Kremenekfbeeca82008-07-19 06:11:04 +00001#!/usr/bin/env perl
Ted Kremenekb0982882008-03-25 22:35:32 +00002#
3# The LLVM Compiler Infrastructure
4#
5# This file is distributed under the University of Illinois Open Source
6# License. See LICENSE.TXT for details.
7#
8##===----------------------------------------------------------------------===##
9#
Ted Kremenekfbeeca82008-07-19 06:11:04 +000010# A script designed to interpose between the build system and gcc. It invokes
11# both gcc and the static analyzer.
Ted Kremenekb0982882008-03-25 22:35:32 +000012#
13##===----------------------------------------------------------------------===##
14
Ted Kremenekfbeeca82008-07-19 06:11:04 +000015use strict;
16use warnings;
Ted Kremenek51365b52009-12-15 02:35:54 +000017use FindBin;
Ted Kremenekb315a392008-09-21 19:56:14 +000018use Cwd qw/ getcwd abs_path /;
Ted Kremenek991c54b2008-08-08 20:46:42 +000019use File::Temp qw/ tempfile /;
20use File::Path qw / mkpath /;
Ted Kremenekddf32da2009-01-21 00:42:24 +000021use File::Basename;
Ted Kremenek1df35e32009-05-11 23:29:51 +000022use Text::ParseWords;
Ted Kremenek2ec5cd52008-08-25 20:44:31 +000023
Ted Kremenek51365b52009-12-15 02:35:54 +000024##===----------------------------------------------------------------------===##
25# Compiler command setup.
26##===----------------------------------------------------------------------===##
27
28my $Compiler;
29my $Clang;
Anna Zaksdd40b842012-01-06 01:54:05 +000030my $DefaultCCompiler;
31my $DefaultCXXCompiler;
32
33if (`uname -a` =~ m/Darwin/) {
34 $DefaultCCompiler = 'clang';
35 $DefaultCXXCompiler = 'clang++';
36} else {
37 $DefaultCCompiler = 'gcc';
38 $DefaultCXXCompiler = 'g++';
39}
Ted Kremenek51365b52009-12-15 02:35:54 +000040
41if ($FindBin::Script =~ /c\+\+-analyzer/) {
42 $Compiler = $ENV{'CCC_CXX'};
Anna Zaksdd40b842012-01-06 01:54:05 +000043 if (!defined $Compiler) { $Compiler = $DefaultCXXCompiler; }
Ted Kremenek51365b52009-12-15 02:35:54 +000044
45 $Clang = $ENV{'CLANG_CXX'};
46 if (!defined $Clang) { $Clang = 'clang++'; }
47}
48else {
49 $Compiler = $ENV{'CCC_CC'};
Anna Zaksdd40b842012-01-06 01:54:05 +000050 if (!defined $Compiler) { $Compiler = $DefaultCCompiler; }
Ted Kremenek51365b52009-12-15 02:35:54 +000051
52 $Clang = $ENV{'CLANG'};
53 if (!defined $Clang) { $Clang = 'clang'; }
54}
55
56##===----------------------------------------------------------------------===##
57# Cleanup.
58##===----------------------------------------------------------------------===##
Ted Kremeneke600bed2009-07-30 23:55:19 +000059
60my $ReportFailures = $ENV{'CCC_REPORT_FAILURES'};
61if (!defined $ReportFailures) { $ReportFailures = 1; }
62
Ted Kremenekddf32da2009-01-21 00:42:24 +000063my $CleanupFile;
64my $ResultFile;
65
66# Remove any stale files at exit.
67END {
Anna Zaks91342942011-09-09 18:43:53 +000068 if (defined $ResultFile && -z $ResultFile) {
69 `rm -f $ResultFile`;
70 }
71 if (defined $CleanupFile) {
Ted Kremenekddf32da2009-01-21 00:42:24 +000072 `rm -f $CleanupFile`;
73 }
74}
75
Ted Kremenek991c54b2008-08-08 20:46:42 +000076##----------------------------------------------------------------------------##
77# Process Clang Crashes.
78##----------------------------------------------------------------------------##
79
80sub GetPPExt {
81 my $Lang = shift;
Ted Kremenek79433b52009-12-16 18:32:41 +000082 if ($Lang =~ /objective-c\+\+/) { return ".mii" };
Ted Kremenek991c54b2008-08-08 20:46:42 +000083 if ($Lang =~ /objective-c/) { return ".mi"; }
Ted Kremenek51b939f2009-12-16 05:02:47 +000084 if ($Lang =~ /c\+\+/) { return ".ii"; }
Ted Kremenek991c54b2008-08-08 20:46:42 +000085 return ".i";
86}
87
Ted Kremeneka4d8cde2009-04-28 17:37:44 +000088# Set this to 1 if we want to include 'parser rejects' files.
89my $IncludeParserRejects = 0;
Ted Kremenek5daa3be2009-01-27 01:19:08 +000090my $ParserRejects = "Parser Rejects";
Ted Kremenek938eef12009-02-17 23:31:05 +000091my $AttributeIgnored = "Attribute Ignored";
Anna Zaks1a8a8cb2011-11-07 22:38:10 +000092my $OtherError = "Other Error";
Ted Kremenek5daa3be2009-01-27 01:19:08 +000093
Ted Kremenek5d31f832008-08-18 18:38:29 +000094sub ProcessClangFailure {
Ted Kremenek2a3a8b92009-12-11 22:44:53 +000095 my ($Clang, $Lang, $file, $Args, $HtmlDir, $ErrorType, $ofile) = @_;
Ted Kremenek938eef12009-02-17 23:31:05 +000096 my $Dir = "$HtmlDir/failures";
Ted Kremenek991c54b2008-08-08 20:46:42 +000097 mkpath $Dir;
Ted Kremenek5daa3be2009-01-27 01:19:08 +000098
99 my $prefix = "clang_crash";
Ted Kremenek938eef12009-02-17 23:31:05 +0000100 if ($ErrorType eq $ParserRejects) {
101 $prefix = "clang_parser_rejects";
102 }
103 elsif ($ErrorType eq $AttributeIgnored) {
104 $prefix = "clang_attribute_ignored";
105 }
Anna Zaks1a8a8cb2011-11-07 22:38:10 +0000106 elsif ($ErrorType eq $OtherError) {
107 $prefix = "clang_other_error";
108 }
Ted Kremenekc3998fa2008-09-25 00:51:44 +0000109
Ted Kremenek3386c8a2009-07-28 00:14:21 +0000110 # Generate the preprocessed file with Clang.
Ted Kremenek5daa3be2009-01-27 01:19:08 +0000111 my ($PPH, $PPFile) = tempfile( $prefix . "_XXXXXX",
112 SUFFIX => GetPPExt($Lang),
113 DIR => $Dir);
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000114 system $Clang, @$Args, "-E", "-o", $PPFile;
Ted Kremenek991c54b2008-08-08 20:46:42 +0000115 close ($PPH);
Ted Kremenekc3998fa2008-09-25 00:51:44 +0000116
117 # Create the info file.
Ted Kremenek82a12532008-09-25 00:25:16 +0000118 open (OUT, ">", "$PPFile.info.txt") or die "Cannot open $PPFile.info.txt\n";
Ted Kremenek5f2825f2008-09-21 18:04:49 +0000119 print OUT abs_path($file), "\n";
Ted Kremenek5d31f832008-08-18 18:38:29 +0000120 print OUT "$ErrorType\n";
Ted Kremenek2dd7ad12008-08-18 20:55:25 +0000121 print OUT "@$Args\n";
Ted Kremenek991c54b2008-08-08 20:46:42 +0000122 close OUT;
Ted Kremenek82a12532008-09-25 00:25:16 +0000123 `uname -a >> $PPFile.info.txt 2>&1`;
Ted Kremenek51365b52009-12-15 02:35:54 +0000124 `$Compiler -v >> $PPFile.info.txt 2>&1`;
Ted Kremenek9f9b1fd2008-09-12 22:49:36 +0000125 system 'mv',$ofile,"$PPFile.stderr.txt";
Ted Kremenek938eef12009-02-17 23:31:05 +0000126 return (basename $PPFile);
Ted Kremenek991c54b2008-08-08 20:46:42 +0000127}
Ted Kremenekb0982882008-03-25 22:35:32 +0000128
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000129##----------------------------------------------------------------------------##
130# Running the analyzer.
131##----------------------------------------------------------------------------##
Ted Kremenekb0982882008-03-25 22:35:32 +0000132
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000133sub GetCCArgs {
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000134 my $mode = shift;
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000135 my $Args = shift;
136
137 pipe (FROM_CHILD, TO_PARENT);
138 my $pid = fork();
139 if ($pid == 0) {
140 close FROM_CHILD;
141 open(STDOUT,">&", \*TO_PARENT);
142 open(STDERR,">&", \*TO_PARENT);
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000143 exec $Clang, "-###", $mode, @$Args;
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000144 }
145 close(TO_PARENT);
146 my $line;
147 while (<FROM_CHILD>) {
Ted Kremenek32317b22009-12-11 23:12:52 +0000148 next if (!/-cc1/);
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000149 $line = $_;
150 }
151
152 waitpid($pid,0);
153 close(FROM_CHILD);
154
Ted Kremenek32317b22009-12-11 23:12:52 +0000155 die "could not find clang line\n" if (!defined $line);
Ted Kremenek1df35e32009-05-11 23:29:51 +0000156 # Strip the newline and initial whitspace
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000157 chomp $line;
Ted Kremenek1df35e32009-05-11 23:29:51 +0000158 $line =~ s/^\s+//;
Ted Kremenek2aefcb22010-04-06 19:41:24 +0000159 my @items = quotewords('\s+', 0, $line);
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000160 my $cmd = shift @items;
Ted Kremenek32317b22009-12-11 23:12:52 +0000161 die "cannot find 'clang' in 'clang' command\n" if (!($cmd =~ /clang/));
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000162 return \@items;
163}
164
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000165sub Analyze {
Ted Kremenek27871ea2011-03-10 21:10:08 +0000166 my ($Clang, $OriginalArgs, $AnalyzeArgs, $Lang, $Output, $Verbose, $HtmlDir,
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000167 $file) = @_;
Seo Sanghyeond3894652008-04-04 11:02:21 +0000168
Ted Kremenek27871ea2011-03-10 21:10:08 +0000169 my @Args = @$OriginalArgs;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000170 my $Cmd;
171 my @CmdArgs;
Ted Kremenek991c54b2008-08-08 20:46:42 +0000172 my @CmdArgsSansAnalyses;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000173
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000174 if ($Lang =~ /header/) {
175 exit 0 if (!defined ($Output));
176 $Cmd = 'cp';
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000177 push @CmdArgs, $file;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000178 # Remove the PCH extension.
179 $Output =~ s/[.]gch$//;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000180 push @CmdArgs, $Output;
181 @CmdArgsSansAnalyses = @CmdArgs;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000182 }
183 else {
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000184 $Cmd = $Clang;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000185
186 # Create arguments for doing regular parsing.
Ted Kremenek27871ea2011-03-10 21:10:08 +0000187 my $SyntaxArgs = GetCCArgs("-fsyntax-only", \@Args);
188 @CmdArgsSansAnalyses = @$SyntaxArgs;
189
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000190 # Create arguments for doing static analysis.
191 if (defined $ResultFile) {
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000192 push @Args, '-o', $ResultFile;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000193 }
194 elsif (defined $HtmlDir) {
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000195 push @Args, '-o', $HtmlDir;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000196 }
Ted Kremenekb26fbc12011-03-21 20:12:21 +0000197 if ($Verbose) {
198 push @Args, "-Xclang", "-analyzer-display-progress";
199 }
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000200
201 foreach my $arg (@$AnalyzeArgs) {
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000202 push @Args, "-Xclang", $arg;
Ted Kremenek8382cf52009-11-13 18:46:29 +0000203 }
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000204
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000205 # Display Ubiviz graph?
206 if (defined $ENV{'CCC_UBI'}) {
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000207 push @Args, "-Xclang", "-analyzer-viz-egraph-ubigraph";
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000208 }
209
Ted Kremenek27871ea2011-03-10 21:10:08 +0000210 my $AnalysisArgs = GetCCArgs("--analyze", \@Args);
211 @CmdArgs = @$AnalysisArgs;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000212 }
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000213
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000214 my @PrintArgs;
215 my $dir;
Ted Kremenek63fe5ec2009-08-02 05:42:46 +0000216
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000217 if ($Verbose) {
218 $dir = getcwd();
219 print STDERR "\n[LOCATION]: $dir\n";
220 push @PrintArgs,"'$Cmd'";
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000221 foreach my $arg (@CmdArgs) {
222 push @PrintArgs,"\'$arg\'";
223 }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000224 }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000225 if ($Verbose == 1) {
Ted Kremenek61cd9882008-05-24 15:58:54 +0000226 # We MUST print to stderr. Some clients use the stdout output of
227 # gcc for various purposes.
Ted Kremenek27871ea2011-03-10 21:10:08 +0000228 print STDERR join(' ', @PrintArgs);
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000229 print STDERR "\n";
230 }
231 elsif ($Verbose == 2) {
232 print STDERR "#SHELL (cd '$dir' && @PrintArgs)\n";
233 }
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000234
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000235 # Capture the STDERR of clang and send it to a temporary file.
236 # Capture the STDOUT of clang and reroute it to ccc-analyzer's STDERR.
237 # We save the output file in the 'crashes' directory if clang encounters
238 # any problems with the file.
Ted Kremenek13462682008-09-11 23:05:26 +0000239 pipe (FROM_CHILD, TO_PARENT);
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000240 my $pid = fork();
241 if ($pid == 0) {
Ted Kremenek13462682008-09-11 23:05:26 +0000242 close FROM_CHILD;
243 open(STDOUT,">&", \*TO_PARENT);
244 open(STDERR,">&", \*TO_PARENT);
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000245 exec $Cmd, @CmdArgs;
246 }
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000247
Ted Kremenek13462682008-09-11 23:05:26 +0000248 close TO_PARENT;
249 my ($ofh, $ofile) = tempfile("clang_output_XXXXXX", DIR => $HtmlDir);
250
251 while (<FROM_CHILD>) {
252 print $ofh $_;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000253 print STDERR $_;
Ted Kremenek13462682008-09-11 23:05:26 +0000254 }
255
256 waitpid($pid,0);
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000257 close(FROM_CHILD);
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000258 my $Result = $?;
259
260 # Did the command die because of a signal?
Ted Kremeneke600bed2009-07-30 23:55:19 +0000261 if ($ReportFailures) {
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000262 if ($Result & 127 and $Cmd eq $Clang and defined $HtmlDir) {
263 ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses,
Ted Kremeneke600bed2009-07-30 23:55:19 +0000264 $HtmlDir, "Crash", $ofile);
Ted Kremenek5de40922009-02-27 06:17:38 +0000265 }
Ted Kremeneke600bed2009-07-30 23:55:19 +0000266 elsif ($Result) {
267 if ($IncludeParserRejects && !($file =~/conftest/)) {
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000268 ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses,
Ted Kremeneke600bed2009-07-30 23:55:19 +0000269 $HtmlDir, $ParserRejects, $ofile);
Anna Zaks1a8a8cb2011-11-07 22:38:10 +0000270 } else {
271 ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses,
272 $HtmlDir, $OtherError, $ofile);
Ted Kremenek938eef12009-02-17 23:31:05 +0000273 }
Ted Kremeneke600bed2009-07-30 23:55:19 +0000274 }
275 else {
276 # Check if there were any unhandled attributes.
277 if (open(CHILD, $ofile)) {
278 my %attributes_not_handled;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000279
Ted Kremeneke600bed2009-07-30 23:55:19 +0000280 # Don't flag warnings about the following attributes that we
281 # know are currently not supported by Clang.
282 $attributes_not_handled{"cdecl"} = 1;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000283
Ted Kremeneke600bed2009-07-30 23:55:19 +0000284 my $ppfile;
285 while (<CHILD>) {
286 next if (! /warning: '([^\']+)' attribute ignored/);
287
288 # Have we already spotted this unhandled attribute?
289 next if (defined $attributes_not_handled{$1});
290 $attributes_not_handled{$1} = 1;
291
292 # Get the name of the attribute file.
293 my $dir = "$HtmlDir/failures";
294 my $afile = "$dir/attribute_ignored_$1.txt";
295
296 # Only create another preprocessed file if the attribute file
297 # doesn't exist yet.
298 next if (-e $afile);
299
300 # Add this file to the list of files that contained this attribute.
301 # Generate a preprocessed file if we haven't already.
302 if (!(defined $ppfile)) {
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000303 $ppfile = ProcessClangFailure($Clang, $Lang, $file,
Ted Kremeneke600bed2009-07-30 23:55:19 +0000304 \@CmdArgsSansAnalyses,
305 $HtmlDir, $AttributeIgnored, $ofile);
306 }
307
308 mkpath $dir;
309 open(AFILE, ">$afile");
310 print AFILE "$ppfile\n";
311 close(AFILE);
312 }
313 close CHILD;
314 }
Ted Kremenek938eef12009-02-17 23:31:05 +0000315 }
316 }
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000317
Ted Kremeneke3bf8a82009-08-04 00:55:59 +0000318 unlink($ofile);
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000319}
Ted Kremenek61cd9882008-05-24 15:58:54 +0000320
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000321##----------------------------------------------------------------------------##
322# Lookup tables.
323##----------------------------------------------------------------------------##
324
325my %CompileOptionMap = (
326 '-nostdinc' => 0,
Anders Carlsson06c58b12008-12-19 20:56:23 +0000327 '-fblocks' => 0,
Shantonu Send9d97262010-07-03 03:08:23 +0000328 '-fno-builtin' => 0,
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000329 '-fobjc-gc-only' => 0,
Ted Kremenek6c4312d2009-02-26 23:09:43 +0000330 '-fobjc-gc' => 0,
331 '-ffreestanding' => 0,
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000332 '-include' => 1,
333 '-idirafter' => 1,
Ted Kremenek55d7d362010-06-08 18:27:55 +0000334 '-imacros' => 1,
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000335 '-iprefix' => 1,
336 '-iquote' => 1,
337 '-isystem' => 1,
338 '-iwithprefix' => 1,
339 '-iwithprefixbefore' => 1
340);
341
342my %LinkerOptionMap = (
Ted Kremenek1a45a5f2012-03-06 20:06:12 +0000343 '-framework' => 1,
344 '-fobjc-link-runtime' => 0
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000345);
346
347my %CompilerLinkerOptionMap = (
Ted Kremenek71d9d5c2012-01-26 23:30:13 +0000348 '-fobjc-arc' => 0,
Jordan Rosec629ad42012-08-23 23:16:34 +0000349 '-fno-objc-arc' => 0,
Ted Kremenek71d9d5c2012-01-26 23:30:13 +0000350 '-fobjc-abi-version' => 0, # This is really a 1 argument, but always has '='
Ted Kremenek6e531372012-08-07 19:27:08 +0000351 '-fobjc-legacy-dispatch' => 0,
352 '-mios-simulator-version-min' => 0, # This really has 1 argument, but always has '='
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000353 '-isysroot' => 1,
354 '-arch' => 1,
Charles Davisa1359ba2010-03-02 15:26:41 +0000355 '-m32' => 0,
356 '-m64' => 0,
Benjamin Kramer90b0bc62012-09-19 22:56:24 +0000357 '-stdlib' => 0, # This is really a 1 argument, but always has '='
Ted Kremeneke4f69522008-09-29 22:45:28 +0000358 '-v' => 0,
Ted Kremenekb10362a2008-09-30 23:40:25 +0000359 '-fpascal-strings' => 0,
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000360 '-mmacosx-version-min' => 0, # This is really a 1 argument, but always has '='
361 '-miphoneos-version-min' => 0 # This is really a 1 argument, but always has '='
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000362);
363
364my %IgnoredOptionMap = (
Ted Kremenek94026092008-07-24 03:52:21 +0000365 '-MT' => 1, # Ignore these preprocessor options.
366 '-MF' => 1,
367
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000368 '-fsyntax-only' => 0,
369 '-save-temps' => 0,
370 '-install_name' => 1,
371 '-exported_symbols_list' => 1,
372 '-current_version' => 1,
373 '-compatibility_version' => 1,
374 '-init' => 1,
375 '-e' => 1,
376 '-seg1addr' => 1,
377 '-bundle_loader' => 1,
378 '-multiply_defined' => 1,
379 '-sectorder' => 3,
380 '--param' => 1,
Anna Zaksf5c5f892012-01-06 01:54:02 +0000381 '-u' => 1,
382 '--serialize-diagnostics' => 1
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000383);
384
385my %LangMap = (
386 'c' => 'c',
Shantonu Send9d97262010-07-03 03:08:23 +0000387 'cp' => 'c++',
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000388 'cpp' => 'c++',
Anna Zaksf4dd8582012-04-14 16:30:00 +0000389 'cxx' => 'c++',
390 'txx' => 'c++',
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000391 'cc' => 'c++',
Anna Zaks71f11d62011-08-31 23:53:24 +0000392 'ii' => 'c++',
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000393 'i' => 'c-cpp-output',
394 'm' => 'objective-c',
Anna Zaks71f11d62011-08-31 23:53:24 +0000395 'mi' => 'objective-c-cpp-output',
396 'mm' => 'objective-c++'
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000397);
398
Ted Kremeneka30730e2008-09-29 16:15:20 +0000399my %UniqueOptions = (
400 '-isysroot' => 0
401);
402
Ted Kremenekf6f8d5a2010-03-08 19:06:44 +0000403##----------------------------------------------------------------------------##
404# Languages accepted.
405##----------------------------------------------------------------------------##
406
Ted Kremenekefaf1912009-05-11 21:08:34 +0000407my %LangsAccepted = (
408 "objective-c" => 1,
Ted Kremenek0a208182011-08-11 22:47:20 +0000409 "c" => 1,
410 "c++" => 1,
411 "objective-c++" => 1
Ted Kremenekefaf1912009-05-11 21:08:34 +0000412);
413
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000414##----------------------------------------------------------------------------##
415# Main Logic.
416##----------------------------------------------------------------------------##
417
418my $Action = 'link';
419my @CompileOpts;
420my @LinkOpts;
421my @Files;
422my $Lang;
423my $Output;
Ted Kremeneka30730e2008-09-29 16:15:20 +0000424my %Uniqued;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000425
426# Forward arguments to gcc.
Ted Kremenek51365b52009-12-15 02:35:54 +0000427my $Status = system($Compiler,@ARGV);
Tom Carea716f632010-09-29 23:48:31 +0000428if (defined $ENV{'CCC_ANALYZER_LOG'}) {
429 print "$Compiler @ARGV\n";
430}
Ted Kremenekcb344d02008-08-28 01:18:44 +0000431if ($Status) { exit($Status >> 8); }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000432
433# Get the analysis options.
434my $Analyses = $ENV{'CCC_ANALYZER_ANALYSIS'};
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000435
Anna Zaksf8e8a3e2012-05-25 01:13:50 +0000436# Get the plugins to load.
437my $Plugins = $ENV{'CCC_ANALYZER_PLUGINS'};
438
Zhongxing Xu07c37672008-10-27 14:26:32 +0000439# Get the store model.
440my $StoreModel = $ENV{'CCC_ANALYZER_STORE_MODEL'};
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000441
442# Get the constraints engine.
443my $ConstraintsModel = $ENV{'CCC_ANALYZER_CONSTRAINTS_MODEL'};
Zhongxing Xu07c37672008-10-27 14:26:32 +0000444
Anna Zaks1e548f12012-06-22 22:08:12 +0000445#Get the internal stats setting.
446my $InternalStats = $ENV{'CCC_ANALYZER_INTERNAL_STATS'};
447
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000448# Get the output format.
449my $OutputFormat = $ENV{'CCC_ANALYZER_OUTPUT_FORMAT'};
Ted Kremenek3891a152009-02-17 05:01:10 +0000450if (!defined $OutputFormat) { $OutputFormat = "html"; }
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000451
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000452# Determine the level of verbosity.
453my $Verbose = 0;
454if (defined $ENV{CCC_ANALYZER_VERBOSE}) { $Verbose = 1; }
455if (defined $ENV{CCC_ANALYZER_LOG}) { $Verbose = 2; }
456
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000457# Get the HTML output directory.
458my $HtmlDir = $ENV{'CCC_ANALYZER_HTML'};
459
Ted Kremenek84591322009-02-24 22:07:12 +0000460my %DisabledArchs = ('ppc' => 1, 'ppc64' => 1);
Ted Kremenek27783eb2008-09-25 20:17:57 +0000461my %ArchsSeen;
Ted Kremenek84591322009-02-24 22:07:12 +0000462my $HadArch = 0;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000463
464# Process the arguments.
465foreach (my $i = 0; $i < scalar(@ARGV); ++$i) {
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000466 my $Arg = $ARGV[$i];
467 my ($ArgKey) = split /=/,$Arg,2;
468
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000469 # Modes ccc-analyzer supports
Ted Kremenekd732a7b2009-08-04 00:57:12 +0000470 if ($Arg =~ /^-(E|MM?)$/) { $Action = 'preprocess'; }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000471 elsif ($Arg eq '-c') { $Action = 'compile'; }
472 elsif ($Arg =~ /^-print-prog-name/) { exit 0; }
Ted Kremenek27783eb2008-09-25 20:17:57 +0000473
474 # Specially handle duplicate cases of -arch
475 if ($Arg eq "-arch") {
476 my $arch = $ARGV[$i+1];
Ted Kremenek84591322009-02-24 22:07:12 +0000477 # We don't want to process 'ppc' because of Clang's lack of support
478 # for Altivec (also some #defines won't likely be defined correctly, etc.)
479 if (!(defined $DisabledArchs{$arch})) { $ArchsSeen{$arch} = 1; }
480 $HadArch = 1;
Ted Kremenek27783eb2008-09-25 20:17:57 +0000481 ++$i;
482 next;
483 }
484
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000485 # Options with possible arguments that should pass through to compiler.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000486 if (defined $CompileOptionMap{$ArgKey}) {
487 my $Cnt = $CompileOptionMap{$ArgKey};
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000488 push @CompileOpts,$Arg;
489 while ($Cnt > 0) { ++$i; --$Cnt; push @CompileOpts, $ARGV[$i]; }
490 next;
491 }
492
493 # Options with possible arguments that should pass through to linker.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000494 if (defined $LinkerOptionMap{$ArgKey}) {
495 my $Cnt = $LinkerOptionMap{$ArgKey};
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000496 push @LinkOpts,$Arg;
497 while ($Cnt > 0) { ++$i; --$Cnt; push @LinkOpts, $ARGV[$i]; }
498 next;
499 }
500
501 # Options with possible arguments that should pass through to both compiler
502 # and the linker.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000503 if (defined $CompilerLinkerOptionMap{$ArgKey}) {
504 my $Cnt = $CompilerLinkerOptionMap{$ArgKey};
Ted Kremenek47fc25f2008-09-29 23:06:09 +0000505
Ted Kremeneka30730e2008-09-29 16:15:20 +0000506 # Check if this is an option that should have a unique value, and if so
507 # determine if the value was checked before.
508 if ($UniqueOptions{$Arg}) {
509 if (defined $Uniqued{$Arg}) {
510 $i += $Cnt;
511 next;
512 }
513 $Uniqued{$Arg} = 1;
514 }
515
Ted Kremenek47fc25f2008-09-29 23:06:09 +0000516 push @CompileOpts,$Arg;
517 push @LinkOpts,$Arg;
518
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000519 while ($Cnt > 0) {
520 ++$i; --$Cnt;
521 push @CompileOpts, $ARGV[$i];
522 push @LinkOpts, $ARGV[$i];
523 }
524 next;
525 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000526
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000527 # Ignored options.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000528 if (defined $IgnoredOptionMap{$ArgKey}) {
529 my $Cnt = $IgnoredOptionMap{$ArgKey};
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000530 while ($Cnt > 0) {
531 ++$i; --$Cnt;
532 }
533 next;
534 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000535
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000536 # Compile mode flags.
537 if ($Arg =~ /^-[D,I,U](.*)$/) {
538 my $Tmp = $Arg;
539 if ($1 eq '') {
540 # FIXME: Check if we are going off the end.
541 ++$i;
542 $Tmp = $Arg . $ARGV[$i];
543 }
544 push @CompileOpts,$Tmp;
545 next;
546 }
547
548 # Language.
549 if ($Arg eq '-x') {
550 $Lang = $ARGV[$i+1];
551 ++$i; next;
552 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000553
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000554 # Output file.
555 if ($Arg eq '-o') {
556 ++$i;
557 $Output = $ARGV[$i];
558 next;
559 }
560
561 # Get the link mode.
562 if ($Arg =~ /^-[l,L,O]/) {
563 if ($Arg eq '-O') { push @LinkOpts,'-O1'; }
564 elsif ($Arg eq '-Os') { push @LinkOpts,'-O2'; }
565 else { push @LinkOpts,$Arg; }
566 next;
567 }
568
569 if ($Arg =~ /^-std=/) {
570 push @CompileOpts,$Arg;
571 next;
572 }
573
574# if ($Arg =~ /^-f/) {
575# # FIXME: Not sure if the remaining -fxxxx options have no arguments.
576# push @CompileOpts,$Arg;
577# push @LinkOpts,$Arg; # FIXME: Not sure if these are link opts.
578# }
579
580 # Get the compiler/link mode.
581 if ($Arg =~ /^-F(.+)$/) {
582 my $Tmp = $Arg;
583 if ($1 eq '') {
584 # FIXME: Check if we are going off the end.
585 ++$i;
586 $Tmp = $Arg . $ARGV[$i];
587 }
588 push @CompileOpts,$Tmp;
589 push @LinkOpts,$Tmp;
590 next;
591 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000592
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000593 # Input files.
594 if ($Arg eq '-filelist') {
595 # FIXME: Make sure we aren't walking off the end.
596 open(IN, $ARGV[$i+1]);
597 while (<IN>) { s/\015?\012//; push @Files,$_; }
598 close(IN);
Ted Kremenek08959372009-08-14 18:20:50 +0000599 ++$i;
600 next;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000601 }
602
Ted Kremenek08959372009-08-14 18:20:50 +0000603 # Handle -Wno-. We don't care about extra warnings, but
604 # we should suppress ones that we don't want to see.
605 if ($Arg =~ /^-Wno-/) {
606 push @CompileOpts, $Arg;
607 next;
608 }
609
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000610 if (!($Arg =~ /^-/)) {
Ted Kremenek08959372009-08-14 18:20:50 +0000611 push @Files, $Arg;
612 next;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000613 }
614}
Ted Kremenek61cd9882008-05-24 15:58:54 +0000615
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000616if ($Action eq 'compile' or $Action eq 'link') {
Ted Kremenek84591322009-02-24 22:07:12 +0000617 my @Archs = keys %ArchsSeen;
618 # Skip the file if we don't support the architectures specified.
Ted Kremenek0e0eb8b2009-02-25 00:10:37 +0000619 exit 0 if ($HadArch && scalar(@Archs) == 0);
Ted Kremenek84591322009-02-24 22:07:12 +0000620
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000621 foreach my $file (@Files) {
622 # Determine the language for the file.
623 my $FileLang = $Lang;
624
625 if (!defined($FileLang)) {
626 # Infer the language from the extension.
627 if ($file =~ /[.]([^.]+)$/) {
628 $FileLang = $LangMap{$1};
629 }
630 }
Ted Kremenek1262fc42008-05-14 20:10:33 +0000631
Ted Kremenek1d81ed92010-02-12 00:10:34 +0000632 # FileLang still not defined? Skip the file.
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000633 next if (!defined $FileLang);
Ted Kremenek1d81ed92010-02-12 00:10:34 +0000634
635 # Language not accepted?
Ted Kremenekefaf1912009-05-11 21:08:34 +0000636 next if (!defined $LangsAccepted{$FileLang});
Ted Kremenek1d81ed92010-02-12 00:10:34 +0000637
Ted Kremenek9a9e0d42009-05-15 04:20:31 +0000638 my @CmdArgs;
639 my @AnalyzeArgs;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000640
641 if ($FileLang ne 'unknown') {
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000642 push @CmdArgs, '-x', $FileLang;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000643 }
Ted Kremenekb0982882008-03-25 22:35:32 +0000644
Zhongxing Xu07c37672008-10-27 14:26:32 +0000645 if (defined $StoreModel) {
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000646 push @AnalyzeArgs, "-analyzer-store=$StoreModel";
Zhongxing Xu07c37672008-10-27 14:26:32 +0000647 }
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000648
649 if (defined $ConstraintsModel) {
650 push @AnalyzeArgs, "-analyzer-constraints=$ConstraintsModel";
651 }
Anna Zaks1e548f12012-06-22 22:08:12 +0000652
653 if (defined $InternalStats) {
654 push @AnalyzeArgs, "-analyzer-stats";
655 }
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000656
Anna Zaks71f11d62011-08-31 23:53:24 +0000657 if (defined $Analyses) {
658 push @AnalyzeArgs, split '\s+', $Analyses;
659 }
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000660
Anna Zaksf8e8a3e2012-05-25 01:13:50 +0000661 if (defined $Plugins) {
662 push @AnalyzeArgs, split '\s+', $Plugins;
663 }
664
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000665 if (defined $OutputFormat) {
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000666 push @AnalyzeArgs, "-analyzer-output=" . $OutputFormat;
Ted Kremenek7753b352009-07-27 22:10:34 +0000667 if ($OutputFormat =~ /plist/) {
Ted Kremenekddf32da2009-01-21 00:42:24 +0000668 # Change "Output" to be a file.
669 my ($h, $f) = tempfile("report-XXXXXX", SUFFIX => ".plist",
670 DIR => $HtmlDir);
671 $ResultFile = $f;
Anna Zaks91342942011-09-09 18:43:53 +0000672 # If the HtmlDir is not set, we sould clean up the plist files.
673 if (!defined $HtmlDir || -z $HtmlDir) {
674 $CleanupFile = $f;
675 }
Ted Kremenekddf32da2009-01-21 00:42:24 +0000676 }
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000677 }
Zhongxing Xu07c37672008-10-27 14:26:32 +0000678
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000679 push @CmdArgs, @CompileOpts;
680 push @CmdArgs, $file;
Zhongxing Xu07c37672008-10-27 14:26:32 +0000681
Ted Kremenek27783eb2008-09-25 20:17:57 +0000682 if (scalar @Archs) {
683 foreach my $arch (@Archs) {
684 my @NewArgs;
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000685 push @NewArgs, '-arch', $arch;
Ted Kremenek9a9e0d42009-05-15 04:20:31 +0000686 push @NewArgs, @CmdArgs;
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000687 Analyze($Clang, \@NewArgs, \@AnalyzeArgs, $FileLang, $Output,
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000688 $Verbose, $HtmlDir, $file);
Ted Kremenek27783eb2008-09-25 20:17:57 +0000689 }
690 }
691 else {
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000692 Analyze($Clang, \@CmdArgs, \@AnalyzeArgs, $FileLang, $Output,
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000693 $Verbose, $HtmlDir, $file);
Ted Kremenek27783eb2008-09-25 20:17:57 +0000694 }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000695 }
696}
Ted Kremenekb0982882008-03-25 22:35:32 +0000697
Ted Kremenek948e06b2008-08-27 22:30:34 +0000698exit($Status >> 8);
699