blob: 28e4ad182b2c6f3c2cde069e6a95c359f39dbf01 [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 Kremenekb315a392008-09-21 19:56:14 +000017use Cwd qw/ getcwd abs_path /;
Ted Kremenek991c54b2008-08-08 20:46:42 +000018use File::Temp qw/ tempfile /;
19use File::Path qw / mkpath /;
Ted Kremenekddf32da2009-01-21 00:42:24 +000020use File::Basename;
Ted Kremenek2ec5cd52008-08-25 20:44:31 +000021
22my $CC = $ENV{'CCC_CC'};
23if (!defined $CC) { $CC = "gcc"; }
Ted Kremenekddf32da2009-01-21 00:42:24 +000024my $CleanupFile;
25my $ResultFile;
26
27# Remove any stale files at exit.
28END {
29 if (defined $CleanupFile && -z $CleanupFile) {
30 `rm -f $CleanupFile`;
31 }
32}
33
Ted Kremenek991c54b2008-08-08 20:46:42 +000034##----------------------------------------------------------------------------##
35# Process Clang Crashes.
36##----------------------------------------------------------------------------##
37
38sub GetPPExt {
39 my $Lang = shift;
40 if ($Lang =~ /objective-c/) { return ".mi"; }
41 return ".i";
42}
43
Ted Kremeneka4d8cde2009-04-28 17:37:44 +000044# Set this to 1 if we want to include 'parser rejects' files.
45my $IncludeParserRejects = 0;
Ted Kremenek5daa3be2009-01-27 01:19:08 +000046my $ParserRejects = "Parser Rejects";
Ted Kremeneka4d8cde2009-04-28 17:37:44 +000047
Ted Kremenek938eef12009-02-17 23:31:05 +000048my $AttributeIgnored = "Attribute Ignored";
Ted Kremenek5daa3be2009-01-27 01:19:08 +000049
Ted Kremenek5d31f832008-08-18 18:38:29 +000050sub ProcessClangFailure {
Ted Kremenekc3998fa2008-09-25 00:51:44 +000051 my ($Clang, $Lang, $file, $Args, $HtmlDir, $ErrorType, $ofile) = @_;
Ted Kremenek938eef12009-02-17 23:31:05 +000052 my $Dir = "$HtmlDir/failures";
Ted Kremenek991c54b2008-08-08 20:46:42 +000053 mkpath $Dir;
Ted Kremenek5daa3be2009-01-27 01:19:08 +000054
55 my $prefix = "clang_crash";
Ted Kremenek938eef12009-02-17 23:31:05 +000056 if ($ErrorType eq $ParserRejects) {
57 $prefix = "clang_parser_rejects";
58 }
59 elsif ($ErrorType eq $AttributeIgnored) {
60 $prefix = "clang_attribute_ignored";
61 }
Ted Kremenekc3998fa2008-09-25 00:51:44 +000062
63 # Generate the preprocessed file with cc (i.e., gcc).
Ted Kremenek5daa3be2009-01-27 01:19:08 +000064 my ($PPH, $PPFile) = tempfile( $prefix . "_XXXXXX",
65 SUFFIX => GetPPExt($Lang),
66 DIR => $Dir);
Ted Kremenek991c54b2008-08-08 20:46:42 +000067
Ted Kremenek2ec5cd52008-08-25 20:44:31 +000068 system $CC, @$Args, "-E", "-o", $PPFile;
Ted Kremenek991c54b2008-08-08 20:46:42 +000069 close ($PPH);
Ted Kremenekc3998fa2008-09-25 00:51:44 +000070
71 # Generate the preprocessed file with clang.
72 my $PPFile_Clang = $PPFile;
73 $PPFile_Clang =~ s/[.](.+)$/.clang.$1/;
74 system $Clang, @$Args, "-E", "-o", "$PPFile_Clang";
75
76 # Create the info file.
Ted Kremenek82a12532008-09-25 00:25:16 +000077 open (OUT, ">", "$PPFile.info.txt") or die "Cannot open $PPFile.info.txt\n";
Ted Kremenek5f2825f2008-09-21 18:04:49 +000078 print OUT abs_path($file), "\n";
Ted Kremenek5d31f832008-08-18 18:38:29 +000079 print OUT "$ErrorType\n";
Ted Kremenek2dd7ad12008-08-18 20:55:25 +000080 print OUT "@$Args\n";
Ted Kremenek991c54b2008-08-08 20:46:42 +000081 close OUT;
Ted Kremenek82a12532008-09-25 00:25:16 +000082 `uname -a >> $PPFile.info.txt 2>&1`;
83 `$CC -v >> $PPFile.info.txt 2>&1`;
Ted Kremenek9f9b1fd2008-09-12 22:49:36 +000084 system 'mv',$ofile,"$PPFile.stderr.txt";
Ted Kremenek938eef12009-02-17 23:31:05 +000085 return (basename $PPFile);
Ted Kremenek991c54b2008-08-08 20:46:42 +000086}
Ted Kremenekb0982882008-03-25 22:35:32 +000087
Ted Kremenekfbeeca82008-07-19 06:11:04 +000088##----------------------------------------------------------------------------##
89# Running the analyzer.
90##----------------------------------------------------------------------------##
Ted Kremenekb0982882008-03-25 22:35:32 +000091
Ted Kremenekfbeeca82008-07-19 06:11:04 +000092sub Analyze {
93 my ($Clang, $Args, $Lang, $Output, $Verbose, $HtmlDir, $file, $Analyses) = @_;
Seo Sanghyeond3894652008-04-04 11:02:21 +000094
Ted Kremenekfbeeca82008-07-19 06:11:04 +000095 # Skip anything related to C++.
96 return if ($Lang =~ /c[+][+]/);
Ted Kremenek5d31f832008-08-18 18:38:29 +000097
Ted Kremenekfbeeca82008-07-19 06:11:04 +000098 my $RunAnalyzer = 0;
99 my $Cmd;
100 my @CmdArgs;
Ted Kremenek991c54b2008-08-08 20:46:42 +0000101 my @CmdArgsSansAnalyses;
Ted Kremenek61cd9882008-05-24 15:58:54 +0000102
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000103 if ($Lang =~ /header/) {
104 exit 0 if (!defined ($Output));
105 $Cmd = 'cp';
106 push @CmdArgs,$file;
107 # Remove the PCH extension.
108 $Output =~ s/[.]gch$//;
109 push @CmdArgs,$Output;
Ted Kremenek991c54b2008-08-08 20:46:42 +0000110 @CmdArgsSansAnalyses = @CmdArgs;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000111 }
112 else {
113 $Cmd = $Clang;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000114 push @CmdArgs,'-DIBOutlet=__attribute__((iboutlet))';
115 push @CmdArgs,@$Args;
Ted Kremenek991c54b2008-08-08 20:46:42 +0000116 @CmdArgsSansAnalyses = @CmdArgs;
Ted Kremenek938eef12009-02-17 23:31:05 +0000117 push @CmdArgs,'-analyze';
118 push @CmdArgs,"-analyzer-display-progress";
119 push @CmdArgs,"-disable-free";
Ted Kremeneka2bdaf52009-02-26 17:36:31 +0000120 push @CmdArgs,"-analyzer-eagerly-assume";
Ted Kremenek991c54b2008-08-08 20:46:42 +0000121 push @CmdArgs,(split /\s/,$Analyses);
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000122 $RunAnalyzer = 1;
123 }
124
125 my @PrintArgs;
126 my $dir;
127
128 if ($Verbose) {
129 $dir = getcwd();
130 print STDERR "\n[LOCATION]: $dir\n";
131 push @PrintArgs,"'$Cmd'";
132 foreach my $arg (@CmdArgs) { push @PrintArgs,"\'$arg\'"; }
133 }
134
135 if ($Verbose == 1) {
Ted Kremenek61cd9882008-05-24 15:58:54 +0000136 # We MUST print to stderr. Some clients use the stdout output of
137 # gcc for various purposes.
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000138 print STDERR join(' ',@PrintArgs);
139 print STDERR "\n";
140 }
141 elsif ($Verbose == 2) {
142 print STDERR "#SHELL (cd '$dir' && @PrintArgs)\n";
143 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000144
Ted Kremenekddf32da2009-01-21 00:42:24 +0000145 if ($RunAnalyzer) {
146 if (defined $ResultFile) {
147 push @CmdArgs,'-o';
148 push @CmdArgs, $ResultFile;
149 }
150 elsif (defined $HtmlDir) {
151 push @CmdArgs,'-o';
152 push @CmdArgs, $HtmlDir;
153 }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000154 }
Ted Kremenek948e06b2008-08-27 22:30:34 +0000155
156 if (defined $ENV{'CCC_UBI'}) {
157 push @CmdArgs,"--analyzer-viz-egraph-ubigraph";
158 }
Ted Kremenek991c54b2008-08-08 20:46:42 +0000159
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000160 # Capture the STDERR of clang and send it to a temporary file.
161 # Capture the STDOUT of clang and reroute it to ccc-analyzer's STDERR.
162 # We save the output file in the 'crashes' directory if clang encounters
163 # any problems with the file.
Ted Kremenek13462682008-09-11 23:05:26 +0000164 pipe (FROM_CHILD, TO_PARENT);
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000165 my $pid = fork();
166 if ($pid == 0) {
Ted Kremenek13462682008-09-11 23:05:26 +0000167 close FROM_CHILD;
168 open(STDOUT,">&", \*TO_PARENT);
169 open(STDERR,">&", \*TO_PARENT);
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000170 exec $Cmd, @CmdArgs;
171 }
Ted Kremenek13462682008-09-11 23:05:26 +0000172
173 close TO_PARENT;
174 my ($ofh, $ofile) = tempfile("clang_output_XXXXXX", DIR => $HtmlDir);
175
176 while (<FROM_CHILD>) {
177 print $ofh $_;
178 print STDERR $_;
179 }
180
181 waitpid($pid,0);
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000182 my $Result = $?;
183
184 # Did the command die because of a signal?
185 if ($Result & 127 and $Cmd eq $Clang and defined $HtmlDir) {
Ted Kremenekc3998fa2008-09-25 00:51:44 +0000186 ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, $HtmlDir,
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000187 "Crash", $ofile);
188 }
189 elsif ($Result) {
Ted Kremeneka4d8cde2009-04-28 17:37:44 +0000190 if ($IncludeParserRejects && !($file =~/conftest/)) {
Ted Kremenek5de40922009-02-27 06:17:38 +0000191 ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, $HtmlDir,
192 $ParserRejects, $ofile);
193 }
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000194 }
Ted Kremenek938eef12009-02-17 23:31:05 +0000195 else {
196 # Check if there were any unhandled attributes.
197 if (open(CHILD, $ofile)) {
198 my %attributes_not_handled;
Ted Kremenek32e94642009-04-22 13:42:27 +0000199
200 # Don't flag warnings about the following attributes that we
201 # know are currently not supported by Clang.
202 $attributes_not_handled{"cdecl"} = 1;
203
Ted Kremenek938eef12009-02-17 23:31:05 +0000204 my $ppfile;
205 while (<CHILD>) {
206 next if (! /warning: '([^\']+)' attribute ignored/);
207
208 # Have we already spotted this unhandled attribute?
209 next if (defined $attributes_not_handled{$1});
210 $attributes_not_handled{$1} = 1;
211
Ted Kremenek7e5bd6f2009-02-21 04:46:20 +0000212 # Get the name of the attribute file.
213 my $dir = "$HtmlDir/failures";
214 my $afile = "$dir/attribute_ignored_$1.txt";
215
216 # Only create another preprocessed file if the attribute file
217 # doesn't exist yet.
218 next if (-e $afile);
219
Ted Kremenek938eef12009-02-17 23:31:05 +0000220 # Add this file to the list of files that contained this attribute.
221 # Generate a preprocessed file if we haven't already.
222 if (!(defined $ppfile)) {
223 $ppfile = ProcessClangFailure($Clang, $Lang, $file,
224 \@CmdArgsSansAnalyses,
225 $HtmlDir, $AttributeIgnored, $ofile);
226 }
227
Ted Kremenek938eef12009-02-17 23:31:05 +0000228 mkpath $dir;
Ted Kremenek7e5bd6f2009-02-21 04:46:20 +0000229 open(AFILE, ">$afile");
Ted Kremenek938eef12009-02-17 23:31:05 +0000230 print AFILE "$ppfile\n";
231 close(AFILE);
232 }
233 close CHILD;
234 }
235 }
Ted Kremenek9a3c7da2008-09-04 00:02:34 +0000236
237 `rm -f $ofile`;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000238}
Ted Kremenek61cd9882008-05-24 15:58:54 +0000239
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000240##----------------------------------------------------------------------------##
241# Lookup tables.
242##----------------------------------------------------------------------------##
243
244my %CompileOptionMap = (
245 '-nostdinc' => 0,
Anders Carlsson06c58b12008-12-19 20:56:23 +0000246 '-fblocks' => 0,
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000247 '-fobjc-gc-only' => 0,
Ted Kremenek6c4312d2009-02-26 23:09:43 +0000248 '-fobjc-gc' => 0,
249 '-ffreestanding' => 0,
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000250 '-include' => 1,
251 '-idirafter' => 1,
252 '-iprefix' => 1,
253 '-iquote' => 1,
254 '-isystem' => 1,
255 '-iwithprefix' => 1,
256 '-iwithprefixbefore' => 1
257);
258
259my %LinkerOptionMap = (
260 '-framework' => 1
261);
262
263my %CompilerLinkerOptionMap = (
264 '-isysroot' => 1,
265 '-arch' => 1,
Ted Kremeneke4f69522008-09-29 22:45:28 +0000266 '-v' => 0,
Ted Kremenekb10362a2008-09-30 23:40:25 +0000267 '-fpascal-strings' => 0,
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000268 '-mmacosx-version-min' => 0, # This is really a 1 argument, but always has '='
269 '-miphoneos-version-min' => 0 # This is really a 1 argument, but always has '='
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000270);
271
272my %IgnoredOptionMap = (
Ted Kremenek94026092008-07-24 03:52:21 +0000273 '-MT' => 1, # Ignore these preprocessor options.
274 '-MF' => 1,
275
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000276 '-fsyntax-only' => 0,
277 '-save-temps' => 0,
278 '-install_name' => 1,
279 '-exported_symbols_list' => 1,
280 '-current_version' => 1,
281 '-compatibility_version' => 1,
282 '-init' => 1,
283 '-e' => 1,
284 '-seg1addr' => 1,
285 '-bundle_loader' => 1,
286 '-multiply_defined' => 1,
287 '-sectorder' => 3,
288 '--param' => 1,
289 '-u' => 1
290);
291
292my %LangMap = (
293 'c' => 'c',
294 'cpp' => 'c++',
295 'cc' => 'c++',
296 'i' => 'c-cpp-output',
297 'm' => 'objective-c',
298 'mi' => 'objective-c-cpp-output'
299);
300
Ted Kremeneka30730e2008-09-29 16:15:20 +0000301my %UniqueOptions = (
302 '-isysroot' => 0
303);
304
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000305##----------------------------------------------------------------------------##
306# Main Logic.
307##----------------------------------------------------------------------------##
308
309my $Action = 'link';
310my @CompileOpts;
311my @LinkOpts;
312my @Files;
313my $Lang;
314my $Output;
Ted Kremeneka30730e2008-09-29 16:15:20 +0000315my %Uniqued;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000316
317# Forward arguments to gcc.
Ted Kremenekf17ef3c2008-08-21 21:47:09 +0000318my $Status = system($CC,@ARGV);
Ted Kremenekcb344d02008-08-28 01:18:44 +0000319if ($Status) { exit($Status >> 8); }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000320
321# Get the analysis options.
322my $Analyses = $ENV{'CCC_ANALYZER_ANALYSIS'};
323if (!defined($Analyses)) { $Analyses = '-checker-cfref'; }
324
Zhongxing Xu07c37672008-10-27 14:26:32 +0000325# Get the store model.
326my $StoreModel = $ENV{'CCC_ANALYZER_STORE_MODEL'};
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000327if (!defined $StoreModel) { $StoreModel = "basic"; }
328
329# Get the constraints engine.
330my $ConstraintsModel = $ENV{'CCC_ANALYZER_CONSTRAINTS_MODEL'};
Ted Kremenek9f4ecb32009-02-20 21:49:22 +0000331if (!defined $ConstraintsModel) { $ConstraintsModel = "range"; }
Zhongxing Xu07c37672008-10-27 14:26:32 +0000332
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000333# Get the output format.
334my $OutputFormat = $ENV{'CCC_ANALYZER_OUTPUT_FORMAT'};
Ted Kremenek3891a152009-02-17 05:01:10 +0000335if (!defined $OutputFormat) { $OutputFormat = "html"; }
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000336
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000337# Determine the level of verbosity.
338my $Verbose = 0;
339if (defined $ENV{CCC_ANALYZER_VERBOSE}) { $Verbose = 1; }
340if (defined $ENV{CCC_ANALYZER_LOG}) { $Verbose = 2; }
341
342# Determine what clang executable to use.
343my $Clang = $ENV{'CLANG'};
Ted Kremenek318e6a62009-03-24 04:29:13 +0000344if (!defined $Clang) { $Clang = 'clang-cc'; }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000345
346# Get the HTML output directory.
347my $HtmlDir = $ENV{'CCC_ANALYZER_HTML'};
348
Ted Kremenek84591322009-02-24 22:07:12 +0000349my %DisabledArchs = ('ppc' => 1, 'ppc64' => 1);
Ted Kremenek27783eb2008-09-25 20:17:57 +0000350my %ArchsSeen;
Ted Kremenek84591322009-02-24 22:07:12 +0000351my $HadArch = 0;
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000352
353# Process the arguments.
354foreach (my $i = 0; $i < scalar(@ARGV); ++$i) {
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000355 my $Arg = $ARGV[$i];
356 my ($ArgKey) = split /=/,$Arg,2;
357
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000358 # Modes ccc-analyzer supports
359 if ($Arg eq '-E') { $Action = 'preprocess'; }
360 elsif ($Arg eq '-c') { $Action = 'compile'; }
361 elsif ($Arg =~ /^-print-prog-name/) { exit 0; }
Ted Kremenek27783eb2008-09-25 20:17:57 +0000362
363 # Specially handle duplicate cases of -arch
364 if ($Arg eq "-arch") {
365 my $arch = $ARGV[$i+1];
Ted Kremenek84591322009-02-24 22:07:12 +0000366 # We don't want to process 'ppc' because of Clang's lack of support
367 # for Altivec (also some #defines won't likely be defined correctly, etc.)
368 if (!(defined $DisabledArchs{$arch})) { $ArchsSeen{$arch} = 1; }
369 $HadArch = 1;
Ted Kremenek27783eb2008-09-25 20:17:57 +0000370 ++$i;
371 next;
372 }
373
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000374 # Options with possible arguments that should pass through to compiler.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000375 if (defined $CompileOptionMap{$ArgKey}) {
376 my $Cnt = $CompileOptionMap{$ArgKey};
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000377 push @CompileOpts,$Arg;
378 while ($Cnt > 0) { ++$i; --$Cnt; push @CompileOpts, $ARGV[$i]; }
379 next;
380 }
381
382 # Options with possible arguments that should pass through to linker.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000383 if (defined $LinkerOptionMap{$ArgKey}) {
384 my $Cnt = $LinkerOptionMap{$ArgKey};
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000385 push @LinkOpts,$Arg;
386 while ($Cnt > 0) { ++$i; --$Cnt; push @LinkOpts, $ARGV[$i]; }
387 next;
388 }
389
390 # Options with possible arguments that should pass through to both compiler
391 # and the linker.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000392 if (defined $CompilerLinkerOptionMap{$ArgKey}) {
393 my $Cnt = $CompilerLinkerOptionMap{$ArgKey};
Ted Kremenek47fc25f2008-09-29 23:06:09 +0000394
Ted Kremeneka30730e2008-09-29 16:15:20 +0000395 # Check if this is an option that should have a unique value, and if so
396 # determine if the value was checked before.
397 if ($UniqueOptions{$Arg}) {
398 if (defined $Uniqued{$Arg}) {
399 $i += $Cnt;
400 next;
401 }
402 $Uniqued{$Arg} = 1;
403 }
404
Ted Kremenek47fc25f2008-09-29 23:06:09 +0000405 push @CompileOpts,$Arg;
406 push @LinkOpts,$Arg;
407
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000408 while ($Cnt > 0) {
409 ++$i; --$Cnt;
410 push @CompileOpts, $ARGV[$i];
411 push @LinkOpts, $ARGV[$i];
412 }
413 next;
414 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000415
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000416 # Ignored options.
Ted Kremenek89c4fcf2008-10-19 06:42:38 +0000417 if (defined $IgnoredOptionMap{$ArgKey}) {
418 my $Cnt = $IgnoredOptionMap{$ArgKey};
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000419 while ($Cnt > 0) {
420 ++$i; --$Cnt;
421 }
422 next;
423 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000424
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000425 # Compile mode flags.
426 if ($Arg =~ /^-[D,I,U](.*)$/) {
427 my $Tmp = $Arg;
428 if ($1 eq '') {
429 # FIXME: Check if we are going off the end.
430 ++$i;
431 $Tmp = $Arg . $ARGV[$i];
432 }
433 push @CompileOpts,$Tmp;
434 next;
435 }
436
437 # Language.
438 if ($Arg eq '-x') {
439 $Lang = $ARGV[$i+1];
440 ++$i; next;
441 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000442
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000443 # Output file.
444 if ($Arg eq '-o') {
445 ++$i;
446 $Output = $ARGV[$i];
447 next;
448 }
449
450 # Get the link mode.
451 if ($Arg =~ /^-[l,L,O]/) {
452 if ($Arg eq '-O') { push @LinkOpts,'-O1'; }
453 elsif ($Arg eq '-Os') { push @LinkOpts,'-O2'; }
454 else { push @LinkOpts,$Arg; }
455 next;
456 }
457
458 if ($Arg =~ /^-std=/) {
459 push @CompileOpts,$Arg;
460 next;
461 }
462
463# if ($Arg =~ /^-f/) {
464# # FIXME: Not sure if the remaining -fxxxx options have no arguments.
465# push @CompileOpts,$Arg;
466# push @LinkOpts,$Arg; # FIXME: Not sure if these are link opts.
467# }
468
469 # Get the compiler/link mode.
470 if ($Arg =~ /^-F(.+)$/) {
471 my $Tmp = $Arg;
472 if ($1 eq '') {
473 # FIXME: Check if we are going off the end.
474 ++$i;
475 $Tmp = $Arg . $ARGV[$i];
476 }
477 push @CompileOpts,$Tmp;
478 push @LinkOpts,$Tmp;
479 next;
480 }
Ted Kremenek61cd9882008-05-24 15:58:54 +0000481
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000482 # Input files.
483 if ($Arg eq '-filelist') {
484 # FIXME: Make sure we aren't walking off the end.
485 open(IN, $ARGV[$i+1]);
486 while (<IN>) { s/\015?\012//; push @Files,$_; }
487 close(IN);
488 ++$i; next;
489 }
490
491 if (!($Arg =~ /^-/)) {
492 push @Files,$Arg; next;
493 }
494}
Ted Kremenek61cd9882008-05-24 15:58:54 +0000495
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000496if ($Action eq 'compile' or $Action eq 'link') {
Ted Kremenek84591322009-02-24 22:07:12 +0000497 my @Archs = keys %ArchsSeen;
498 # Skip the file if we don't support the architectures specified.
Ted Kremenek0e0eb8b2009-02-25 00:10:37 +0000499 exit 0 if ($HadArch && scalar(@Archs) == 0);
Ted Kremenek84591322009-02-24 22:07:12 +0000500
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000501 foreach my $file (@Files) {
502 # Determine the language for the file.
503 my $FileLang = $Lang;
504
505 if (!defined($FileLang)) {
506 # Infer the language from the extension.
507 if ($file =~ /[.]([^.]+)$/) {
508 $FileLang = $LangMap{$1};
509 }
510 }
Ted Kremenek1262fc42008-05-14 20:10:33 +0000511
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000512 next if (!defined $FileLang);
513
514 my @AnalyzeArgs;
515
516 if ($FileLang ne 'unknown') {
517 push @AnalyzeArgs,'-x';
518 push @AnalyzeArgs,$FileLang;
519 }
Ted Kremenekb0982882008-03-25 22:35:32 +0000520
Zhongxing Xu07c37672008-10-27 14:26:32 +0000521 if (defined $StoreModel) {
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000522 push @AnalyzeArgs, "-analyzer-store=$StoreModel";
Zhongxing Xu07c37672008-10-27 14:26:32 +0000523 }
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000524
525 if (defined $ConstraintsModel) {
526 push @AnalyzeArgs, "-analyzer-constraints=$ConstraintsModel";
527 }
528
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000529 if (defined $OutputFormat) {
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000530 push @AnalyzeArgs, "-analyzer-output=" . $OutputFormat;
Ted Kremenekddf32da2009-01-21 00:42:24 +0000531 if ($OutputFormat eq "plist") {
532 # Change "Output" to be a file.
533 my ($h, $f) = tempfile("report-XXXXXX", SUFFIX => ".plist",
534 DIR => $HtmlDir);
535 $ResultFile = $f;
536 $CleanupFile = $f;
537 }
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000538 }
Zhongxing Xu07c37672008-10-27 14:26:32 +0000539
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000540 push @AnalyzeArgs,@CompileOpts;
541 push @AnalyzeArgs,$file;
Zhongxing Xu07c37672008-10-27 14:26:32 +0000542
Ted Kremenek27783eb2008-09-25 20:17:57 +0000543 if (scalar @Archs) {
544 foreach my $arch (@Archs) {
545 my @NewArgs;
546 push @NewArgs, '-arch';
547 push @NewArgs, $arch;
548 push @NewArgs, @AnalyzeArgs;
549 Analyze($Clang, \@NewArgs, $FileLang, $Output,
550 $Verbose, $HtmlDir, $file, $Analyses);
551 }
552 }
553 else {
554 Analyze($Clang, \@AnalyzeArgs, $FileLang, $Output,
555 $Verbose, $HtmlDir, $file, $Analyses);
556 }
Ted Kremenekfbeeca82008-07-19 06:11:04 +0000557 }
558}
Ted Kremenekb0982882008-03-25 22:35:32 +0000559
Ted Kremenek948e06b2008-08-27 22:30:34 +0000560exit($Status >> 8);
561