blob: 32a7301362f69695fa44cc42e5396295f6f12d9b [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 if ($Lang eq "objective-c" || $Lang eq "objective-c++") {
Ted Kremenek27871ea2011-03-10 21:10:08 +0000186 push @Args,'-DIBOutlet=__attribute__((iboutlet))';
187 push @Args,'-DIBOutletCollection(ClassName)=__attribute__((iboutletcollection)))';
188 push @Args,'-DIBAction=void)__attribute__((ibaction)';
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000189 }
190
191 # Create arguments for doing regular parsing.
Ted Kremenek27871ea2011-03-10 21:10:08 +0000192 my $SyntaxArgs = GetCCArgs("-fsyntax-only", \@Args);
193 @CmdArgsSansAnalyses = @$SyntaxArgs;
194
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000195 # Create arguments for doing static analysis.
196 if (defined $ResultFile) {
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000197 push @Args, '-o', $ResultFile;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000198 }
199 elsif (defined $HtmlDir) {
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000200 push @Args, '-o', $HtmlDir;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000201 }
Ted Kremenekb26fbc12011-03-21 20:12:21 +0000202 if ($Verbose) {
203 push @Args, "-Xclang", "-analyzer-display-progress";
204 }
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000205
206 foreach my $arg (@$AnalyzeArgs) {
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000207 push @Args, "-Xclang", $arg;
Ted Kremenek8382cf52009-11-13 18:46:29 +0000208 }
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000209
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000210 # Display Ubiviz graph?
211 if (defined $ENV{'CCC_UBI'}) {
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000212 push @Args, "-Xclang", "-analyzer-viz-egraph-ubigraph";
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000213 }
214
Ted Kremenek27871ea2011-03-10 21:10:08 +0000215 my $AnalysisArgs = GetCCArgs("--analyze", \@Args);
216 @CmdArgs = @$AnalysisArgs;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000217 }
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000218
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000219 my @PrintArgs;
220 my $dir;
Ted Kremenek63fe5ec2009-08-02 05:42:46 +0000221
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000222 if ($Verbose) {
223 $dir = getcwd();
224 print STDERR "\n[LOCATION]: $dir\n";
225 push @PrintArgs,"'$Cmd'";
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000226 foreach my $arg (@CmdArgs) {
227 push @PrintArgs,"\'$arg\'";
228 }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000229 }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000230 if ($Verbose == 1) {
Ted Kremenek61cd9882008-05-24 15:58:54 +0000231 # We MUST print to stderr. Some clients use the stdout output of
232 # gcc for various purposes.
Ted Kremenek27871ea2011-03-10 21:10:08 +0000233 print STDERR join(' ', @PrintArgs);
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000234 print STDERR "\n";
235 }
236 elsif ($Verbose == 2) {
237 print STDERR "#SHELL (cd '$dir' && @PrintArgs)\n";
238 }
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000239
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000240 # Capture the STDERR of clang and send it to a temporary file.
241 # Capture the STDOUT of clang and reroute it to ccc-analyzer's STDERR.
242 # We save the output file in the 'crashes' directory if clang encounters
243 # any problems with the file.
Ted Kremenek13462682008-09-11 23:05:26 +0000244 pipe (FROM_CHILD, TO_PARENT);
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000245 my $pid = fork();
246 if ($pid == 0) {
Ted Kremenek13462682008-09-11 23:05:26 +0000247 close FROM_CHILD;
248 open(STDOUT,">&", \*TO_PARENT);
249 open(STDERR,">&", \*TO_PARENT);
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000250 exec $Cmd, @CmdArgs;
251 }
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000252
Ted Kremenek13462682008-09-11 23:05:26 +0000253 close TO_PARENT;
254 my ($ofh, $ofile) = tempfile("clang_output_XXXXXX", DIR => $HtmlDir);
255
256 while (<FROM_CHILD>) {
257 print $ofh $_;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000258 print STDERR $_;
Ted Kremenek13462682008-09-11 23:05:26 +0000259 }
260
261 waitpid($pid,0);
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000262 close(FROM_CHILD);
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000263 my $Result = $?;
264
265 # Did the command die because of a signal?
Ted Kremeneke600bed2009-07-30 23:55:19 +0000266 if ($ReportFailures) {
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000267 if ($Result & 127 and $Cmd eq $Clang and defined $HtmlDir) {
268 ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses,
Ted Kremeneke600bed2009-07-30 23:55:19 +0000269 $HtmlDir, "Crash", $ofile);
Ted Kremenek5de40922009-02-27 06:17:38 +0000270 }
Ted Kremeneke600bed2009-07-30 23:55:19 +0000271 elsif ($Result) {
272 if ($IncludeParserRejects && !($file =~/conftest/)) {
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000273 ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses,
Ted Kremeneke600bed2009-07-30 23:55:19 +0000274 $HtmlDir, $ParserRejects, $ofile);
Anna Zaks1a8a8cb2011-11-07 22:38:10 +0000275 } else {
276 ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses,
277 $HtmlDir, $OtherError, $ofile);
Ted Kremenek938eef12009-02-17 23:31:05 +0000278 }
Ted Kremeneke600bed2009-07-30 23:55:19 +0000279 }
280 else {
281 # Check if there were any unhandled attributes.
282 if (open(CHILD, $ofile)) {
283 my %attributes_not_handled;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000284
Ted Kremeneke600bed2009-07-30 23:55:19 +0000285 # Don't flag warnings about the following attributes that we
286 # know are currently not supported by Clang.
287 $attributes_not_handled{"cdecl"} = 1;
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000288
Ted Kremeneke600bed2009-07-30 23:55:19 +0000289 my $ppfile;
290 while (<CHILD>) {
291 next if (! /warning: '([^\']+)' attribute ignored/);
292
293 # Have we already spotted this unhandled attribute?
294 next if (defined $attributes_not_handled{$1});
295 $attributes_not_handled{$1} = 1;
296
297 # Get the name of the attribute file.
298 my $dir = "$HtmlDir/failures";
299 my $afile = "$dir/attribute_ignored_$1.txt";
300
301 # Only create another preprocessed file if the attribute file
302 # doesn't exist yet.
303 next if (-e $afile);
304
305 # Add this file to the list of files that contained this attribute.
306 # Generate a preprocessed file if we haven't already.
307 if (!(defined $ppfile)) {
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000308 $ppfile = ProcessClangFailure($Clang, $Lang, $file,
Ted Kremeneke600bed2009-07-30 23:55:19 +0000309 \@CmdArgsSansAnalyses,
310 $HtmlDir, $AttributeIgnored, $ofile);
311 }
312
313 mkpath $dir;
314 open(AFILE, ">$afile");
315 print AFILE "$ppfile\n";
316 close(AFILE);
317 }
318 close CHILD;
319 }
Ted Kremenek938eef12009-02-17 23:31:05 +0000320 }
321 }
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000322
Ted Kremeneke3bf8a82009-08-04 00:55:59 +0000323 unlink($ofile);
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000324}
Ted Kremenek61cd9882008-05-24 15:58:54 +0000325
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000326##----------------------------------------------------------------------------##
327# Lookup tables.
328##----------------------------------------------------------------------------##
329
330my %CompileOptionMap = (
331 '-nostdinc' => 0,
Anders Carlsson06c58b12008-12-19 20:56:23 +0000332 '-fblocks' => 0,
Shantonu Send9d97262010-07-03 03:08:23 +0000333 '-fno-builtin' => 0,
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000334 '-fobjc-gc-only' => 0,
Ted Kremenek6c4312d2009-02-26 23:09:43 +0000335 '-fobjc-gc' => 0,
336 '-ffreestanding' => 0,
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000337 '-include' => 1,
338 '-idirafter' => 1,
Ted Kremenek55d7d362010-06-08 18:27:55 +0000339 '-imacros' => 1,
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000340 '-iprefix' => 1,
341 '-iquote' => 1,
342 '-isystem' => 1,
343 '-iwithprefix' => 1,
344 '-iwithprefixbefore' => 1
345);
346
347my %LinkerOptionMap = (
Ted Kremenek1a45a5f2012-03-06 20:06:12 +0000348 '-framework' => 1,
349 '-fobjc-link-runtime' => 0
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000350);
351
352my %CompilerLinkerOptionMap = (
Ted Kremenek71d9d5c2012-01-26 23:30:13 +0000353 '-fobjc-arc' => 0,
354 '-fobjc-abi-version' => 0, # This is really a 1 argument, but always has '='
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000355 '-isysroot' => 1,
356 '-arch' => 1,
Charles Davisa1359ba2010-03-02 15:26:41 +0000357 '-m32' => 0,
358 '-m64' => 0,
Ted Kremeneke4f69522008-09-29 22:45:28 +0000359 '-v' => 0,
Ted Kremenekb10362a2008-09-30 23:40:25 +0000360 '-fpascal-strings' => 0,
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000361 '-mmacosx-version-min' => 0, # This is really a 1 argument, but always has '='
362 '-miphoneos-version-min' => 0 # This is really a 1 argument, but always has '='
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000363);
364
365my %IgnoredOptionMap = (
Ted Kremenek94026092008-07-24 03:52:21 +0000366 '-MT' => 1, # Ignore these preprocessor options.
367 '-MF' => 1,
368
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000369 '-fsyntax-only' => 0,
370 '-save-temps' => 0,
371 '-install_name' => 1,
372 '-exported_symbols_list' => 1,
373 '-current_version' => 1,
374 '-compatibility_version' => 1,
375 '-init' => 1,
376 '-e' => 1,
377 '-seg1addr' => 1,
378 '-bundle_loader' => 1,
379 '-multiply_defined' => 1,
380 '-sectorder' => 3,
381 '--param' => 1,
Anna Zaksf5c5f892012-01-06 01:54:02 +0000382 '-u' => 1,
383 '--serialize-diagnostics' => 1
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000384);
385
386my %LangMap = (
387 'c' => 'c',
Shantonu Send9d97262010-07-03 03:08:23 +0000388 'cp' => 'c++',
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000389 'cpp' => 'c++',
390 'cc' => 'c++',
Anna Zaks71f11d62011-08-31 23:53:24 +0000391 'ii' => 'c++',
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000392 'i' => 'c-cpp-output',
393 'm' => 'objective-c',
Anna Zaks71f11d62011-08-31 23:53:24 +0000394 'mi' => 'objective-c-cpp-output',
395 'mm' => 'objective-c++'
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000396);
397
Ted Kremeneka30730e2008-09-29 16:15:20 +0000398my %UniqueOptions = (
399 '-isysroot' => 0
400);
401
Ted Kremenekf6f8d5a2010-03-08 19:06:44 +0000402##----------------------------------------------------------------------------##
403# Languages accepted.
404##----------------------------------------------------------------------------##
405
Ted Kremenekefaf1912009-05-11 21:08:34 +0000406my %LangsAccepted = (
407 "objective-c" => 1,
Ted Kremenek0a208182011-08-11 22:47:20 +0000408 "c" => 1,
409 "c++" => 1,
410 "objective-c++" => 1
Ted Kremenekefaf1912009-05-11 21:08:34 +0000411);
412
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000413##----------------------------------------------------------------------------##
414# Main Logic.
415##----------------------------------------------------------------------------##
416
417my $Action = 'link';
418my @CompileOpts;
419my @LinkOpts;
420my @Files;
421my $Lang;
422my $Output;
Ted Kremeneka30730e2008-09-29 16:15:20 +0000423my %Uniqued;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000424
425# Forward arguments to gcc.
Ted Kremenek51365b52009-12-15 02:35:54 +0000426my $Status = system($Compiler,@ARGV);
Tom Carea716f632010-09-29 23:48:31 +0000427if (defined $ENV{'CCC_ANALYZER_LOG'}) {
428 print "$Compiler @ARGV\n";
429}
Ted Kremenekcb344d02008-08-28 01:18:44 +0000430if ($Status) { exit($Status >> 8); }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000431
432# Get the analysis options.
433my $Analyses = $ENV{'CCC_ANALYZER_ANALYSIS'};
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000434
Zhongxing Xu07c37672008-10-27 14:26:32 +0000435# Get the store model.
436my $StoreModel = $ENV{'CCC_ANALYZER_STORE_MODEL'};
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000437
438# Get the constraints engine.
439my $ConstraintsModel = $ENV{'CCC_ANALYZER_CONSTRAINTS_MODEL'};
Zhongxing Xu07c37672008-10-27 14:26:32 +0000440
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000441# Get the output format.
442my $OutputFormat = $ENV{'CCC_ANALYZER_OUTPUT_FORMAT'};
Ted Kremenek3891a152009-02-17 05:01:10 +0000443if (!defined $OutputFormat) { $OutputFormat = "html"; }
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000444
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000445# Determine the level of verbosity.
446my $Verbose = 0;
447if (defined $ENV{CCC_ANALYZER_VERBOSE}) { $Verbose = 1; }
448if (defined $ENV{CCC_ANALYZER_LOG}) { $Verbose = 2; }
449
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000450# Get the HTML output directory.
451my $HtmlDir = $ENV{'CCC_ANALYZER_HTML'};
452
Ted Kremenek84591322009-02-24 22:07:12 +0000453my %DisabledArchs = ('ppc' => 1, 'ppc64' => 1);
Ted Kremenek27783eb2008-09-25 20:17:57 +0000454my %ArchsSeen;
Ted Kremenek84591322009-02-24 22:07:12 +0000455my $HadArch = 0;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000456
457# Process the arguments.
458foreach (my $i = 0; $i < scalar(@ARGV); ++$i) {
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000459 my $Arg = $ARGV[$i];
460 my ($ArgKey) = split /=/,$Arg,2;
461
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000462 # Modes ccc-analyzer supports
Ted Kremenekd732a7b2009-08-04 00:57:12 +0000463 if ($Arg =~ /^-(E|MM?)$/) { $Action = 'preprocess'; }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000464 elsif ($Arg eq '-c') { $Action = 'compile'; }
465 elsif ($Arg =~ /^-print-prog-name/) { exit 0; }
Ted Kremenek27783eb2008-09-25 20:17:57 +0000466
467 # Specially handle duplicate cases of -arch
468 if ($Arg eq "-arch") {
469 my $arch = $ARGV[$i+1];
Ted Kremenek84591322009-02-24 22:07:12 +0000470 # We don't want to process 'ppc' because of Clang's lack of support
471 # for Altivec (also some #defines won't likely be defined correctly, etc.)
472 if (!(defined $DisabledArchs{$arch})) { $ArchsSeen{$arch} = 1; }
473 $HadArch = 1;
Ted Kremenek27783eb2008-09-25 20:17:57 +0000474 ++$i;
475 next;
476 }
477
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000478 # Options with possible arguments that should pass through to compiler.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000479 if (defined $CompileOptionMap{$ArgKey}) {
480 my $Cnt = $CompileOptionMap{$ArgKey};
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000481 push @CompileOpts,$Arg;
482 while ($Cnt > 0) { ++$i; --$Cnt; push @CompileOpts, $ARGV[$i]; }
483 next;
484 }
485
486 # Options with possible arguments that should pass through to linker.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000487 if (defined $LinkerOptionMap{$ArgKey}) {
488 my $Cnt = $LinkerOptionMap{$ArgKey};
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000489 push @LinkOpts,$Arg;
490 while ($Cnt > 0) { ++$i; --$Cnt; push @LinkOpts, $ARGV[$i]; }
491 next;
492 }
493
494 # Options with possible arguments that should pass through to both compiler
495 # and the linker.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000496 if (defined $CompilerLinkerOptionMap{$ArgKey}) {
497 my $Cnt = $CompilerLinkerOptionMap{$ArgKey};
Ted Kremenek47fc25f2008-09-29 23:06:09 +0000498
Ted Kremeneka30730e2008-09-29 16:15:20 +0000499 # Check if this is an option that should have a unique value, and if so
500 # determine if the value was checked before.
501 if ($UniqueOptions{$Arg}) {
502 if (defined $Uniqued{$Arg}) {
503 $i += $Cnt;
504 next;
505 }
506 $Uniqued{$Arg} = 1;
507 }
508
Ted Kremenek47fc25f2008-09-29 23:06:09 +0000509 push @CompileOpts,$Arg;
510 push @LinkOpts,$Arg;
511
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000512 while ($Cnt > 0) {
513 ++$i; --$Cnt;
514 push @CompileOpts, $ARGV[$i];
515 push @LinkOpts, $ARGV[$i];
516 }
517 next;
518 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000519
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000520 # Ignored options.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000521 if (defined $IgnoredOptionMap{$ArgKey}) {
522 my $Cnt = $IgnoredOptionMap{$ArgKey};
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000523 while ($Cnt > 0) {
524 ++$i; --$Cnt;
525 }
526 next;
527 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000528
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000529 # Compile mode flags.
530 if ($Arg =~ /^-[D,I,U](.*)$/) {
531 my $Tmp = $Arg;
532 if ($1 eq '') {
533 # FIXME: Check if we are going off the end.
534 ++$i;
535 $Tmp = $Arg . $ARGV[$i];
536 }
537 push @CompileOpts,$Tmp;
538 next;
539 }
540
541 # Language.
542 if ($Arg eq '-x') {
543 $Lang = $ARGV[$i+1];
544 ++$i; next;
545 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000546
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000547 # Output file.
548 if ($Arg eq '-o') {
549 ++$i;
550 $Output = $ARGV[$i];
551 next;
552 }
553
554 # Get the link mode.
555 if ($Arg =~ /^-[l,L,O]/) {
556 if ($Arg eq '-O') { push @LinkOpts,'-O1'; }
557 elsif ($Arg eq '-Os') { push @LinkOpts,'-O2'; }
558 else { push @LinkOpts,$Arg; }
559 next;
560 }
561
562 if ($Arg =~ /^-std=/) {
563 push @CompileOpts,$Arg;
564 next;
565 }
566
567# if ($Arg =~ /^-f/) {
568# # FIXME: Not sure if the remaining -fxxxx options have no arguments.
569# push @CompileOpts,$Arg;
570# push @LinkOpts,$Arg; # FIXME: Not sure if these are link opts.
571# }
572
573 # Get the compiler/link mode.
574 if ($Arg =~ /^-F(.+)$/) {
575 my $Tmp = $Arg;
576 if ($1 eq '') {
577 # FIXME: Check if we are going off the end.
578 ++$i;
579 $Tmp = $Arg . $ARGV[$i];
580 }
581 push @CompileOpts,$Tmp;
582 push @LinkOpts,$Tmp;
583 next;
584 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000585
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000586 # Input files.
587 if ($Arg eq '-filelist') {
588 # FIXME: Make sure we aren't walking off the end.
589 open(IN, $ARGV[$i+1]);
590 while (<IN>) { s/\015?\012//; push @Files,$_; }
591 close(IN);
Ted Kremenek08959372009-08-14 18:20:50 +0000592 ++$i;
593 next;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000594 }
595
Ted Kremenek08959372009-08-14 18:20:50 +0000596 # Handle -Wno-. We don't care about extra warnings, but
597 # we should suppress ones that we don't want to see.
598 if ($Arg =~ /^-Wno-/) {
599 push @CompileOpts, $Arg;
600 next;
601 }
602
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000603 if (!($Arg =~ /^-/)) {
Ted Kremenek08959372009-08-14 18:20:50 +0000604 push @Files, $Arg;
605 next;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000606 }
607}
Ted Kremenek61cd9882008-05-24 15:58:54 +0000608
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000609if ($Action eq 'compile' or $Action eq 'link') {
Ted Kremenek84591322009-02-24 22:07:12 +0000610 my @Archs = keys %ArchsSeen;
611 # Skip the file if we don't support the architectures specified.
Ted Kremenek0e0eb8b2009-02-25 00:10:37 +0000612 exit 0 if ($HadArch && scalar(@Archs) == 0);
Ted Kremenek84591322009-02-24 22:07:12 +0000613
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000614 foreach my $file (@Files) {
615 # Determine the language for the file.
616 my $FileLang = $Lang;
617
618 if (!defined($FileLang)) {
619 # Infer the language from the extension.
620 if ($file =~ /[.]([^.]+)$/) {
621 $FileLang = $LangMap{$1};
622 }
623 }
Ted Kremenek1262fc42008-05-14 20:10:33 +0000624
Ted Kremenek1d81ed92010-02-12 00:10:34 +0000625 # FileLang still not defined? Skip the file.
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000626 next if (!defined $FileLang);
Ted Kremenek1d81ed92010-02-12 00:10:34 +0000627
628 # Language not accepted?
Ted Kremenekefaf1912009-05-11 21:08:34 +0000629 next if (!defined $LangsAccepted{$FileLang});
Ted Kremenek1d81ed92010-02-12 00:10:34 +0000630
Ted Kremenek9a9e0d42009-05-15 04:20:31 +0000631 my @CmdArgs;
632 my @AnalyzeArgs;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000633
634 if ($FileLang ne 'unknown') {
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000635 push @CmdArgs, '-x', $FileLang;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000636 }
Ted Kremenekb0982882008-03-25 22:35:32 +0000637
Zhongxing Xu07c37672008-10-27 14:26:32 +0000638 if (defined $StoreModel) {
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000639 push @AnalyzeArgs, "-analyzer-store=$StoreModel";
Zhongxing Xu07c37672008-10-27 14:26:32 +0000640 }
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000641
642 if (defined $ConstraintsModel) {
643 push @AnalyzeArgs, "-analyzer-constraints=$ConstraintsModel";
644 }
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000645
Anna Zaks71f11d62011-08-31 23:53:24 +0000646 if (defined $Analyses) {
647 push @AnalyzeArgs, split '\s+', $Analyses;
648 }
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000649
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000650 if (defined $OutputFormat) {
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000651 push @AnalyzeArgs, "-analyzer-output=" . $OutputFormat;
Ted Kremenek7753b352009-07-27 22:10:34 +0000652 if ($OutputFormat =~ /plist/) {
Ted Kremenekddf32da2009-01-21 00:42:24 +0000653 # Change "Output" to be a file.
654 my ($h, $f) = tempfile("report-XXXXXX", SUFFIX => ".plist",
655 DIR => $HtmlDir);
656 $ResultFile = $f;
Anna Zaks91342942011-09-09 18:43:53 +0000657 # If the HtmlDir is not set, we sould clean up the plist files.
658 if (!defined $HtmlDir || -z $HtmlDir) {
659 $CleanupFile = $f;
660 }
Ted Kremenekddf32da2009-01-21 00:42:24 +0000661 }
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000662 }
Zhongxing Xu07c37672008-10-27 14:26:32 +0000663
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000664 push @CmdArgs, @CompileOpts;
665 push @CmdArgs, $file;
Zhongxing Xu07c37672008-10-27 14:26:32 +0000666
Ted Kremenek27783eb2008-09-25 20:17:57 +0000667 if (scalar @Archs) {
668 foreach my $arch (@Archs) {
669 my @NewArgs;
Ted Kremenek5e48bcf2011-03-16 21:10:42 +0000670 push @NewArgs, '-arch', $arch;
Ted Kremenek9a9e0d42009-05-15 04:20:31 +0000671 push @NewArgs, @CmdArgs;
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000672 Analyze($Clang, \@NewArgs, \@AnalyzeArgs, $FileLang, $Output,
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000673 $Verbose, $HtmlDir, $file);
Ted Kremenek27783eb2008-09-25 20:17:57 +0000674 }
675 }
676 else {
Ted Kremenek2a3a8b92009-12-11 22:44:53 +0000677 Analyze($Clang, \@CmdArgs, \@AnalyzeArgs, $FileLang, $Output,
Ted Kremenek7fe679f2011-02-17 02:28:30 +0000678 $Verbose, $HtmlDir, $file);
Ted Kremenek27783eb2008-09-25 20:17:57 +0000679 }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000680 }
681}
Ted Kremenekb0982882008-03-25 22:35:32 +0000682
Ted Kremenek948e06b2008-08-27 22:30:34 +0000683exit($Status >> 8);
684