Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 1 | #!/usr/bin/env perl |
Ted Kremenek | b098288 | 2008-03-25 22:35:32 +0000 | [diff] [blame] | 2 | # |
| 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 Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 10 | # A script designed to interpose between the build system and gcc. It invokes |
| 11 | # both gcc and the static analyzer. |
Ted Kremenek | b098288 | 2008-03-25 22:35:32 +0000 | [diff] [blame] | 12 | # |
| 13 | ##===----------------------------------------------------------------------===## |
| 14 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 15 | use strict; |
| 16 | use warnings; |
Ted Kremenek | 51365b5 | 2009-12-15 02:35:54 +0000 | [diff] [blame] | 17 | use FindBin; |
Ted Kremenek | b315a39 | 2008-09-21 19:56:14 +0000 | [diff] [blame] | 18 | use Cwd qw/ getcwd abs_path /; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 19 | use File::Temp qw/ tempfile /; |
| 20 | use File::Path qw / mkpath /; |
Ted Kremenek | ddf32da | 2009-01-21 00:42:24 +0000 | [diff] [blame] | 21 | use File::Basename; |
Ted Kremenek | 1df35e3 | 2009-05-11 23:29:51 +0000 | [diff] [blame] | 22 | use Text::ParseWords; |
Ted Kremenek | 2ec5cd5 | 2008-08-25 20:44:31 +0000 | [diff] [blame] | 23 | |
Ted Kremenek | 51365b5 | 2009-12-15 02:35:54 +0000 | [diff] [blame] | 24 | ##===----------------------------------------------------------------------===## |
| 25 | # Compiler command setup. |
| 26 | ##===----------------------------------------------------------------------===## |
| 27 | |
| 28 | my $Compiler; |
| 29 | my $Clang; |
Anna Zaks | dd40b84 | 2012-01-06 01:54:05 +0000 | [diff] [blame] | 30 | my $DefaultCCompiler; |
| 31 | my $DefaultCXXCompiler; |
| 32 | |
| 33 | if (`uname -a` =~ m/Darwin/) { |
Jordan Rose | 2cbdd7d | 2012-11-28 19:12:44 +0000 | [diff] [blame] | 34 | $DefaultCCompiler = 'clang'; |
| 35 | $DefaultCXXCompiler = 'clang++'; |
Anna Zaks | dd40b84 | 2012-01-06 01:54:05 +0000 | [diff] [blame] | 36 | } else { |
Jordan Rose | 2cbdd7d | 2012-11-28 19:12:44 +0000 | [diff] [blame] | 37 | $DefaultCCompiler = 'gcc'; |
| 38 | $DefaultCXXCompiler = 'g++'; |
Anna Zaks | dd40b84 | 2012-01-06 01:54:05 +0000 | [diff] [blame] | 39 | } |
Ted Kremenek | 51365b5 | 2009-12-15 02:35:54 +0000 | [diff] [blame] | 40 | |
| 41 | if ($FindBin::Script =~ /c\+\+-analyzer/) { |
| 42 | $Compiler = $ENV{'CCC_CXX'}; |
Anna Zaks | dd40b84 | 2012-01-06 01:54:05 +0000 | [diff] [blame] | 43 | if (!defined $Compiler) { $Compiler = $DefaultCXXCompiler; } |
Ted Kremenek | 51365b5 | 2009-12-15 02:35:54 +0000 | [diff] [blame] | 44 | |
| 45 | $Clang = $ENV{'CLANG_CXX'}; |
| 46 | if (!defined $Clang) { $Clang = 'clang++'; } |
| 47 | } |
| 48 | else { |
| 49 | $Compiler = $ENV{'CCC_CC'}; |
Anna Zaks | dd40b84 | 2012-01-06 01:54:05 +0000 | [diff] [blame] | 50 | if (!defined $Compiler) { $Compiler = $DefaultCCompiler; } |
Ted Kremenek | 51365b5 | 2009-12-15 02:35:54 +0000 | [diff] [blame] | 51 | |
| 52 | $Clang = $ENV{'CLANG'}; |
| 53 | if (!defined $Clang) { $Clang = 'clang'; } |
| 54 | } |
| 55 | |
| 56 | ##===----------------------------------------------------------------------===## |
| 57 | # Cleanup. |
| 58 | ##===----------------------------------------------------------------------===## |
Ted Kremenek | e600bed | 2009-07-30 23:55:19 +0000 | [diff] [blame] | 59 | |
| 60 | my $ReportFailures = $ENV{'CCC_REPORT_FAILURES'}; |
| 61 | if (!defined $ReportFailures) { $ReportFailures = 1; } |
| 62 | |
Ted Kremenek | ddf32da | 2009-01-21 00:42:24 +0000 | [diff] [blame] | 63 | my $CleanupFile; |
| 64 | my $ResultFile; |
| 65 | |
| 66 | # Remove any stale files at exit. |
| 67 | END { |
Anna Zaks | 9134294 | 2011-09-09 18:43:53 +0000 | [diff] [blame] | 68 | if (defined $ResultFile && -z $ResultFile) { |
| 69 | `rm -f $ResultFile`; |
| 70 | } |
| 71 | if (defined $CleanupFile) { |
Ted Kremenek | ddf32da | 2009-01-21 00:42:24 +0000 | [diff] [blame] | 72 | `rm -f $CleanupFile`; |
| 73 | } |
| 74 | } |
| 75 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 76 | ##----------------------------------------------------------------------------## |
| 77 | # Process Clang Crashes. |
| 78 | ##----------------------------------------------------------------------------## |
| 79 | |
| 80 | sub GetPPExt { |
| 81 | my $Lang = shift; |
Ted Kremenek | 79433b5 | 2009-12-16 18:32:41 +0000 | [diff] [blame] | 82 | if ($Lang =~ /objective-c\+\+/) { return ".mii" }; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 83 | if ($Lang =~ /objective-c/) { return ".mi"; } |
Ted Kremenek | 51b939f | 2009-12-16 05:02:47 +0000 | [diff] [blame] | 84 | if ($Lang =~ /c\+\+/) { return ".ii"; } |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 85 | return ".i"; |
| 86 | } |
| 87 | |
Ted Kremenek | a4d8cde | 2009-04-28 17:37:44 +0000 | [diff] [blame] | 88 | # Set this to 1 if we want to include 'parser rejects' files. |
| 89 | my $IncludeParserRejects = 0; |
Ted Kremenek | 5daa3be | 2009-01-27 01:19:08 +0000 | [diff] [blame] | 90 | my $ParserRejects = "Parser Rejects"; |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 91 | my $AttributeIgnored = "Attribute Ignored"; |
Anna Zaks | 1a8a8cb | 2011-11-07 22:38:10 +0000 | [diff] [blame] | 92 | my $OtherError = "Other Error"; |
Ted Kremenek | 5daa3be | 2009-01-27 01:19:08 +0000 | [diff] [blame] | 93 | |
Ted Kremenek | 5d31f83 | 2008-08-18 18:38:29 +0000 | [diff] [blame] | 94 | sub ProcessClangFailure { |
Ted Kremenek | 2a3a8b9 | 2009-12-11 22:44:53 +0000 | [diff] [blame] | 95 | my ($Clang, $Lang, $file, $Args, $HtmlDir, $ErrorType, $ofile) = @_; |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 96 | my $Dir = "$HtmlDir/failures"; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 97 | mkpath $Dir; |
Ted Kremenek | 5daa3be | 2009-01-27 01:19:08 +0000 | [diff] [blame] | 98 | |
| 99 | my $prefix = "clang_crash"; |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 100 | if ($ErrorType eq $ParserRejects) { |
| 101 | $prefix = "clang_parser_rejects"; |
| 102 | } |
| 103 | elsif ($ErrorType eq $AttributeIgnored) { |
| 104 | $prefix = "clang_attribute_ignored"; |
| 105 | } |
Anna Zaks | 1a8a8cb | 2011-11-07 22:38:10 +0000 | [diff] [blame] | 106 | elsif ($ErrorType eq $OtherError) { |
| 107 | $prefix = "clang_other_error"; |
| 108 | } |
Ted Kremenek | c3998fa | 2008-09-25 00:51:44 +0000 | [diff] [blame] | 109 | |
Ted Kremenek | 3386c8a | 2009-07-28 00:14:21 +0000 | [diff] [blame] | 110 | # Generate the preprocessed file with Clang. |
Ted Kremenek | 5daa3be | 2009-01-27 01:19:08 +0000 | [diff] [blame] | 111 | my ($PPH, $PPFile) = tempfile( $prefix . "_XXXXXX", |
| 112 | SUFFIX => GetPPExt($Lang), |
| 113 | DIR => $Dir); |
Ted Kremenek | 2a3a8b9 | 2009-12-11 22:44:53 +0000 | [diff] [blame] | 114 | system $Clang, @$Args, "-E", "-o", $PPFile; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 115 | close ($PPH); |
Ted Kremenek | c3998fa | 2008-09-25 00:51:44 +0000 | [diff] [blame] | 116 | |
| 117 | # Create the info file. |
Ted Kremenek | 82a1253 | 2008-09-25 00:25:16 +0000 | [diff] [blame] | 118 | open (OUT, ">", "$PPFile.info.txt") or die "Cannot open $PPFile.info.txt\n"; |
Ted Kremenek | 5f2825f | 2008-09-21 18:04:49 +0000 | [diff] [blame] | 119 | print OUT abs_path($file), "\n"; |
Ted Kremenek | 5d31f83 | 2008-08-18 18:38:29 +0000 | [diff] [blame] | 120 | print OUT "$ErrorType\n"; |
Ted Kremenek | 2dd7ad1 | 2008-08-18 20:55:25 +0000 | [diff] [blame] | 121 | print OUT "@$Args\n"; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 122 | close OUT; |
Ted Kremenek | 82a1253 | 2008-09-25 00:25:16 +0000 | [diff] [blame] | 123 | `uname -a >> $PPFile.info.txt 2>&1`; |
Ted Kremenek | 51365b5 | 2009-12-15 02:35:54 +0000 | [diff] [blame] | 124 | `$Compiler -v >> $PPFile.info.txt 2>&1`; |
Ted Kremenek | 9f9b1fd | 2008-09-12 22:49:36 +0000 | [diff] [blame] | 125 | system 'mv',$ofile,"$PPFile.stderr.txt"; |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 126 | return (basename $PPFile); |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 127 | } |
Ted Kremenek | b098288 | 2008-03-25 22:35:32 +0000 | [diff] [blame] | 128 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 129 | ##----------------------------------------------------------------------------## |
| 130 | # Running the analyzer. |
| 131 | ##----------------------------------------------------------------------------## |
Ted Kremenek | b098288 | 2008-03-25 22:35:32 +0000 | [diff] [blame] | 132 | |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 133 | sub GetCCArgs { |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 134 | my $mode = shift; |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 135 | 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 Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 143 | exec $Clang, "-###", $mode, @$Args; |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 144 | } |
| 145 | close(TO_PARENT); |
| 146 | my $line; |
| 147 | while (<FROM_CHILD>) { |
Ted Kremenek | 32317b2 | 2009-12-11 23:12:52 +0000 | [diff] [blame] | 148 | next if (!/-cc1/); |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 149 | $line = $_; |
| 150 | } |
| 151 | |
| 152 | waitpid($pid,0); |
| 153 | close(FROM_CHILD); |
| 154 | |
Ted Kremenek | 32317b2 | 2009-12-11 23:12:52 +0000 | [diff] [blame] | 155 | die "could not find clang line\n" if (!defined $line); |
Ted Kremenek | 1df35e3 | 2009-05-11 23:29:51 +0000 | [diff] [blame] | 156 | # Strip the newline and initial whitspace |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 157 | chomp $line; |
Ted Kremenek | 1df35e3 | 2009-05-11 23:29:51 +0000 | [diff] [blame] | 158 | $line =~ s/^\s+//; |
Ted Kremenek | 2aefcb2 | 2010-04-06 19:41:24 +0000 | [diff] [blame] | 159 | my @items = quotewords('\s+', 0, $line); |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 160 | my $cmd = shift @items; |
Ted Kremenek | 32317b2 | 2009-12-11 23:12:52 +0000 | [diff] [blame] | 161 | die "cannot find 'clang' in 'clang' command\n" if (!($cmd =~ /clang/)); |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 162 | return \@items; |
| 163 | } |
| 164 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 165 | sub Analyze { |
Ted Kremenek | 27871ea | 2011-03-10 21:10:08 +0000 | [diff] [blame] | 166 | my ($Clang, $OriginalArgs, $AnalyzeArgs, $Lang, $Output, $Verbose, $HtmlDir, |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 167 | $file) = @_; |
Seo Sanghyeon | d389465 | 2008-04-04 11:02:21 +0000 | [diff] [blame] | 168 | |
Ted Kremenek | 27871ea | 2011-03-10 21:10:08 +0000 | [diff] [blame] | 169 | my @Args = @$OriginalArgs; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 170 | my $Cmd; |
| 171 | my @CmdArgs; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 172 | my @CmdArgsSansAnalyses; |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 173 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 174 | if ($Lang =~ /header/) { |
| 175 | exit 0 if (!defined ($Output)); |
| 176 | $Cmd = 'cp'; |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 177 | push @CmdArgs, $file; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 178 | # Remove the PCH extension. |
| 179 | $Output =~ s/[.]gch$//; |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 180 | push @CmdArgs, $Output; |
| 181 | @CmdArgsSansAnalyses = @CmdArgs; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 182 | } |
| 183 | else { |
Ted Kremenek | 2a3a8b9 | 2009-12-11 22:44:53 +0000 | [diff] [blame] | 184 | $Cmd = $Clang; |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 185 | |
| 186 | # Create arguments for doing regular parsing. |
Ted Kremenek | 27871ea | 2011-03-10 21:10:08 +0000 | [diff] [blame] | 187 | my $SyntaxArgs = GetCCArgs("-fsyntax-only", \@Args); |
| 188 | @CmdArgsSansAnalyses = @$SyntaxArgs; |
| 189 | |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 190 | # Create arguments for doing static analysis. |
| 191 | if (defined $ResultFile) { |
Ted Kremenek | 5e48bcf | 2011-03-16 21:10:42 +0000 | [diff] [blame] | 192 | push @Args, '-o', $ResultFile; |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 193 | } |
| 194 | elsif (defined $HtmlDir) { |
Ted Kremenek | 5e48bcf | 2011-03-16 21:10:42 +0000 | [diff] [blame] | 195 | push @Args, '-o', $HtmlDir; |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 196 | } |
Ted Kremenek | b26fbc1 | 2011-03-21 20:12:21 +0000 | [diff] [blame] | 197 | if ($Verbose) { |
| 198 | push @Args, "-Xclang", "-analyzer-display-progress"; |
| 199 | } |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 200 | |
| 201 | foreach my $arg (@$AnalyzeArgs) { |
Ted Kremenek | 5e48bcf | 2011-03-16 21:10:42 +0000 | [diff] [blame] | 202 | push @Args, "-Xclang", $arg; |
Ted Kremenek | 8382cf5 | 2009-11-13 18:46:29 +0000 | [diff] [blame] | 203 | } |
Ted Kremenek | 5e48bcf | 2011-03-16 21:10:42 +0000 | [diff] [blame] | 204 | |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 205 | # Display Ubiviz graph? |
| 206 | if (defined $ENV{'CCC_UBI'}) { |
Ted Kremenek | 5e48bcf | 2011-03-16 21:10:42 +0000 | [diff] [blame] | 207 | push @Args, "-Xclang", "-analyzer-viz-egraph-ubigraph"; |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 208 | } |
| 209 | |
Ted Kremenek | 27871ea | 2011-03-10 21:10:08 +0000 | [diff] [blame] | 210 | my $AnalysisArgs = GetCCArgs("--analyze", \@Args); |
| 211 | @CmdArgs = @$AnalysisArgs; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 212 | } |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 213 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 214 | my @PrintArgs; |
| 215 | my $dir; |
Ted Kremenek | 63fe5ec | 2009-08-02 05:42:46 +0000 | [diff] [blame] | 216 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 217 | if ($Verbose) { |
| 218 | $dir = getcwd(); |
| 219 | print STDERR "\n[LOCATION]: $dir\n"; |
| 220 | push @PrintArgs,"'$Cmd'"; |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 221 | foreach my $arg (@CmdArgs) { |
| 222 | push @PrintArgs,"\'$arg\'"; |
| 223 | } |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 224 | } |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 225 | if ($Verbose == 1) { |
Ted Kremenek | 61cd988 | 2008-05-24 15:58:54 +0000 | [diff] [blame] | 226 | # We MUST print to stderr. Some clients use the stdout output of |
| 227 | # gcc for various purposes. |
Ted Kremenek | 27871ea | 2011-03-10 21:10:08 +0000 | [diff] [blame] | 228 | print STDERR join(' ', @PrintArgs); |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 229 | print STDERR "\n"; |
| 230 | } |
| 231 | elsif ($Verbose == 2) { |
| 232 | print STDERR "#SHELL (cd '$dir' && @PrintArgs)\n"; |
| 233 | } |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 234 | |
Ted Kremenek | 9a3c7da | 2008-09-04 00:02:34 +0000 | [diff] [blame] | 235 | # 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 Kremenek | 1346268 | 2008-09-11 23:05:26 +0000 | [diff] [blame] | 239 | pipe (FROM_CHILD, TO_PARENT); |
Ted Kremenek | 9a3c7da | 2008-09-04 00:02:34 +0000 | [diff] [blame] | 240 | my $pid = fork(); |
| 241 | if ($pid == 0) { |
Ted Kremenek | 1346268 | 2008-09-11 23:05:26 +0000 | [diff] [blame] | 242 | close FROM_CHILD; |
| 243 | open(STDOUT,">&", \*TO_PARENT); |
| 244 | open(STDERR,">&", \*TO_PARENT); |
Ted Kremenek | 9a3c7da | 2008-09-04 00:02:34 +0000 | [diff] [blame] | 245 | exec $Cmd, @CmdArgs; |
| 246 | } |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 247 | |
Ted Kremenek | 1346268 | 2008-09-11 23:05:26 +0000 | [diff] [blame] | 248 | close TO_PARENT; |
| 249 | my ($ofh, $ofile) = tempfile("clang_output_XXXXXX", DIR => $HtmlDir); |
| 250 | |
| 251 | while (<FROM_CHILD>) { |
| 252 | print $ofh $_; |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 253 | print STDERR $_; |
Ted Kremenek | 1346268 | 2008-09-11 23:05:26 +0000 | [diff] [blame] | 254 | } |
Jordan Rose | 2cbdd7d | 2012-11-28 19:12:44 +0000 | [diff] [blame] | 255 | close $ofh; |
Ted Kremenek | 1346268 | 2008-09-11 23:05:26 +0000 | [diff] [blame] | 256 | |
| 257 | waitpid($pid,0); |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 258 | close(FROM_CHILD); |
Ted Kremenek | 9a3c7da | 2008-09-04 00:02:34 +0000 | [diff] [blame] | 259 | my $Result = $?; |
| 260 | |
| 261 | # Did the command die because of a signal? |
Ted Kremenek | e600bed | 2009-07-30 23:55:19 +0000 | [diff] [blame] | 262 | if ($ReportFailures) { |
Ted Kremenek | 2a3a8b9 | 2009-12-11 22:44:53 +0000 | [diff] [blame] | 263 | if ($Result & 127 and $Cmd eq $Clang and defined $HtmlDir) { |
| 264 | ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, |
Ted Kremenek | e600bed | 2009-07-30 23:55:19 +0000 | [diff] [blame] | 265 | $HtmlDir, "Crash", $ofile); |
Ted Kremenek | 5de4092 | 2009-02-27 06:17:38 +0000 | [diff] [blame] | 266 | } |
Ted Kremenek | e600bed | 2009-07-30 23:55:19 +0000 | [diff] [blame] | 267 | elsif ($Result) { |
| 268 | if ($IncludeParserRejects && !($file =~/conftest/)) { |
Ted Kremenek | 2a3a8b9 | 2009-12-11 22:44:53 +0000 | [diff] [blame] | 269 | ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, |
Ted Kremenek | e600bed | 2009-07-30 23:55:19 +0000 | [diff] [blame] | 270 | $HtmlDir, $ParserRejects, $ofile); |
Anna Zaks | 1a8a8cb | 2011-11-07 22:38:10 +0000 | [diff] [blame] | 271 | } else { |
| 272 | ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, |
Jordan Rose | 2cbdd7d | 2012-11-28 19:12:44 +0000 | [diff] [blame] | 273 | $HtmlDir, $OtherError, $ofile); |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 274 | } |
Ted Kremenek | e600bed | 2009-07-30 23:55:19 +0000 | [diff] [blame] | 275 | } |
| 276 | else { |
| 277 | # Check if there were any unhandled attributes. |
| 278 | if (open(CHILD, $ofile)) { |
| 279 | my %attributes_not_handled; |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 280 | |
Ted Kremenek | e600bed | 2009-07-30 23:55:19 +0000 | [diff] [blame] | 281 | # Don't flag warnings about the following attributes that we |
| 282 | # know are currently not supported by Clang. |
| 283 | $attributes_not_handled{"cdecl"} = 1; |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 284 | |
Ted Kremenek | e600bed | 2009-07-30 23:55:19 +0000 | [diff] [blame] | 285 | my $ppfile; |
| 286 | while (<CHILD>) { |
| 287 | next if (! /warning: '([^\']+)' attribute ignored/); |
| 288 | |
| 289 | # Have we already spotted this unhandled attribute? |
| 290 | next if (defined $attributes_not_handled{$1}); |
| 291 | $attributes_not_handled{$1} = 1; |
| 292 | |
| 293 | # Get the name of the attribute file. |
| 294 | my $dir = "$HtmlDir/failures"; |
| 295 | my $afile = "$dir/attribute_ignored_$1.txt"; |
| 296 | |
| 297 | # Only create another preprocessed file if the attribute file |
| 298 | # doesn't exist yet. |
| 299 | next if (-e $afile); |
| 300 | |
| 301 | # Add this file to the list of files that contained this attribute. |
| 302 | # Generate a preprocessed file if we haven't already. |
| 303 | if (!(defined $ppfile)) { |
Ted Kremenek | 2a3a8b9 | 2009-12-11 22:44:53 +0000 | [diff] [blame] | 304 | $ppfile = ProcessClangFailure($Clang, $Lang, $file, |
Ted Kremenek | e600bed | 2009-07-30 23:55:19 +0000 | [diff] [blame] | 305 | \@CmdArgsSansAnalyses, |
| 306 | $HtmlDir, $AttributeIgnored, $ofile); |
| 307 | } |
| 308 | |
| 309 | mkpath $dir; |
| 310 | open(AFILE, ">$afile"); |
| 311 | print AFILE "$ppfile\n"; |
| 312 | close(AFILE); |
| 313 | } |
| 314 | close CHILD; |
| 315 | } |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 316 | } |
| 317 | } |
Ted Kremenek | 9a3c7da | 2008-09-04 00:02:34 +0000 | [diff] [blame] | 318 | |
Ted Kremenek | e3bf8a8 | 2009-08-04 00:55:59 +0000 | [diff] [blame] | 319 | unlink($ofile); |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 320 | } |
Ted Kremenek | 61cd988 | 2008-05-24 15:58:54 +0000 | [diff] [blame] | 321 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 322 | ##----------------------------------------------------------------------------## |
| 323 | # Lookup tables. |
| 324 | ##----------------------------------------------------------------------------## |
| 325 | |
| 326 | my %CompileOptionMap = ( |
| 327 | '-nostdinc' => 0, |
Anders Carlsson | 06c58b1 | 2008-12-19 20:56:23 +0000 | [diff] [blame] | 328 | '-fblocks' => 0, |
Shantonu Sen | d9d9726 | 2010-07-03 03:08:23 +0000 | [diff] [blame] | 329 | '-fno-builtin' => 0, |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 330 | '-fobjc-gc-only' => 0, |
Ted Kremenek | 6c4312d | 2009-02-26 23:09:43 +0000 | [diff] [blame] | 331 | '-fobjc-gc' => 0, |
| 332 | '-ffreestanding' => 0, |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 333 | '-include' => 1, |
| 334 | '-idirafter' => 1, |
Ted Kremenek | 55d7d36 | 2010-06-08 18:27:55 +0000 | [diff] [blame] | 335 | '-imacros' => 1, |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 336 | '-iprefix' => 1, |
| 337 | '-iquote' => 1, |
| 338 | '-isystem' => 1, |
| 339 | '-iwithprefix' => 1, |
| 340 | '-iwithprefixbefore' => 1 |
| 341 | ); |
| 342 | |
| 343 | my %LinkerOptionMap = ( |
Ted Kremenek | 1a45a5f | 2012-03-06 20:06:12 +0000 | [diff] [blame] | 344 | '-framework' => 1, |
| 345 | '-fobjc-link-runtime' => 0 |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 346 | ); |
| 347 | |
| 348 | my %CompilerLinkerOptionMap = ( |
Ted Kremenek | 71d9d5c | 2012-01-26 23:30:13 +0000 | [diff] [blame] | 349 | '-fobjc-arc' => 0, |
Jordan Rose | c629ad4 | 2012-08-23 23:16:34 +0000 | [diff] [blame] | 350 | '-fno-objc-arc' => 0, |
Ted Kremenek | 71d9d5c | 2012-01-26 23:30:13 +0000 | [diff] [blame] | 351 | '-fobjc-abi-version' => 0, # This is really a 1 argument, but always has '=' |
Ted Kremenek | 6e53137 | 2012-08-07 19:27:08 +0000 | [diff] [blame] | 352 | '-fobjc-legacy-dispatch' => 0, |
| 353 | '-mios-simulator-version-min' => 0, # This really has 1 argument, but always has '=' |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 354 | '-isysroot' => 1, |
| 355 | '-arch' => 1, |
Charles Davis | a1359ba | 2010-03-02 15:26:41 +0000 | [diff] [blame] | 356 | '-m32' => 0, |
| 357 | '-m64' => 0, |
Benjamin Kramer | 90b0bc6 | 2012-09-19 22:56:24 +0000 | [diff] [blame] | 358 | '-stdlib' => 0, # This is really a 1 argument, but always has '=' |
Ted Kremenek | e4f6952 | 2008-09-29 22:45:28 +0000 | [diff] [blame] | 359 | '-v' => 0, |
Ted Kremenek | b10362a | 2008-09-30 23:40:25 +0000 | [diff] [blame] | 360 | '-fpascal-strings' => 0, |
Daniel Dunbar | 8d33cd7 | 2009-04-10 19:52:24 +0000 | [diff] [blame] | 361 | '-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 Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 363 | ); |
| 364 | |
| 365 | my %IgnoredOptionMap = ( |
Ted Kremenek | 9402609 | 2008-07-24 03:52:21 +0000 | [diff] [blame] | 366 | '-MT' => 1, # Ignore these preprocessor options. |
| 367 | '-MF' => 1, |
| 368 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 369 | '-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 Zaks | f5c5f89 | 2012-01-06 01:54:02 +0000 | [diff] [blame] | 382 | '-u' => 1, |
| 383 | '--serialize-diagnostics' => 1 |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 384 | ); |
| 385 | |
| 386 | my %LangMap = ( |
| 387 | 'c' => 'c', |
Shantonu Sen | d9d9726 | 2010-07-03 03:08:23 +0000 | [diff] [blame] | 388 | 'cp' => 'c++', |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 389 | 'cpp' => 'c++', |
Anna Zaks | f4dd858 | 2012-04-14 16:30:00 +0000 | [diff] [blame] | 390 | 'cxx' => 'c++', |
| 391 | 'txx' => 'c++', |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 392 | 'cc' => 'c++', |
Jordan Rose | 501be13 | 2012-11-28 19:12:29 +0000 | [diff] [blame] | 393 | 'C' => 'c++', |
Anna Zaks | 71f11d6 | 2011-08-31 23:53:24 +0000 | [diff] [blame] | 394 | 'ii' => 'c++', |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 395 | 'i' => 'c-cpp-output', |
| 396 | 'm' => 'objective-c', |
Anna Zaks | 71f11d6 | 2011-08-31 23:53:24 +0000 | [diff] [blame] | 397 | 'mi' => 'objective-c-cpp-output', |
| 398 | 'mm' => 'objective-c++' |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 399 | ); |
| 400 | |
Ted Kremenek | a30730e | 2008-09-29 16:15:20 +0000 | [diff] [blame] | 401 | my %UniqueOptions = ( |
| 402 | '-isysroot' => 0 |
| 403 | ); |
| 404 | |
Ted Kremenek | f6f8d5a | 2010-03-08 19:06:44 +0000 | [diff] [blame] | 405 | ##----------------------------------------------------------------------------## |
| 406 | # Languages accepted. |
| 407 | ##----------------------------------------------------------------------------## |
| 408 | |
Ted Kremenek | efaf191 | 2009-05-11 21:08:34 +0000 | [diff] [blame] | 409 | my %LangsAccepted = ( |
| 410 | "objective-c" => 1, |
Ted Kremenek | 0a20818 | 2011-08-11 22:47:20 +0000 | [diff] [blame] | 411 | "c" => 1, |
| 412 | "c++" => 1, |
| 413 | "objective-c++" => 1 |
Ted Kremenek | efaf191 | 2009-05-11 21:08:34 +0000 | [diff] [blame] | 414 | ); |
| 415 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 416 | ##----------------------------------------------------------------------------## |
| 417 | # Main Logic. |
| 418 | ##----------------------------------------------------------------------------## |
| 419 | |
| 420 | my $Action = 'link'; |
| 421 | my @CompileOpts; |
| 422 | my @LinkOpts; |
| 423 | my @Files; |
| 424 | my $Lang; |
| 425 | my $Output; |
Ted Kremenek | a30730e | 2008-09-29 16:15:20 +0000 | [diff] [blame] | 426 | my %Uniqued; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 427 | |
| 428 | # Forward arguments to gcc. |
Ted Kremenek | 51365b5 | 2009-12-15 02:35:54 +0000 | [diff] [blame] | 429 | my $Status = system($Compiler,@ARGV); |
Tom Care | a716f63 | 2010-09-29 23:48:31 +0000 | [diff] [blame] | 430 | if (defined $ENV{'CCC_ANALYZER_LOG'}) { |
| 431 | print "$Compiler @ARGV\n"; |
| 432 | } |
Ted Kremenek | cb344d0 | 2008-08-28 01:18:44 +0000 | [diff] [blame] | 433 | if ($Status) { exit($Status >> 8); } |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 434 | |
| 435 | # Get the analysis options. |
| 436 | my $Analyses = $ENV{'CCC_ANALYZER_ANALYSIS'}; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 437 | |
Anna Zaks | f8e8a3e | 2012-05-25 01:13:50 +0000 | [diff] [blame] | 438 | # Get the plugins to load. |
| 439 | my $Plugins = $ENV{'CCC_ANALYZER_PLUGINS'}; |
| 440 | |
Zhongxing Xu | 07c3767 | 2008-10-27 14:26:32 +0000 | [diff] [blame] | 441 | # Get the store model. |
| 442 | my $StoreModel = $ENV{'CCC_ANALYZER_STORE_MODEL'}; |
Ted Kremenek | be1fe1e | 2009-02-17 04:27:41 +0000 | [diff] [blame] | 443 | |
| 444 | # Get the constraints engine. |
| 445 | my $ConstraintsModel = $ENV{'CCC_ANALYZER_CONSTRAINTS_MODEL'}; |
Zhongxing Xu | 07c3767 | 2008-10-27 14:26:32 +0000 | [diff] [blame] | 446 | |
Anna Zaks | 1e548f1 | 2012-06-22 22:08:12 +0000 | [diff] [blame] | 447 | #Get the internal stats setting. |
| 448 | my $InternalStats = $ENV{'CCC_ANALYZER_INTERNAL_STATS'}; |
| 449 | |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 450 | # Get the output format. |
| 451 | my $OutputFormat = $ENV{'CCC_ANALYZER_OUTPUT_FORMAT'}; |
Ted Kremenek | 3891a15 | 2009-02-17 05:01:10 +0000 | [diff] [blame] | 452 | if (!defined $OutputFormat) { $OutputFormat = "html"; } |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 453 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 454 | # Determine the level of verbosity. |
| 455 | my $Verbose = 0; |
| 456 | if (defined $ENV{CCC_ANALYZER_VERBOSE}) { $Verbose = 1; } |
| 457 | if (defined $ENV{CCC_ANALYZER_LOG}) { $Verbose = 2; } |
| 458 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 459 | # Get the HTML output directory. |
| 460 | my $HtmlDir = $ENV{'CCC_ANALYZER_HTML'}; |
| 461 | |
Ted Kremenek | 8459132 | 2009-02-24 22:07:12 +0000 | [diff] [blame] | 462 | my %DisabledArchs = ('ppc' => 1, 'ppc64' => 1); |
Ted Kremenek | 27783eb | 2008-09-25 20:17:57 +0000 | [diff] [blame] | 463 | my %ArchsSeen; |
Ted Kremenek | 8459132 | 2009-02-24 22:07:12 +0000 | [diff] [blame] | 464 | my $HadArch = 0; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 465 | |
| 466 | # Process the arguments. |
| 467 | foreach (my $i = 0; $i < scalar(@ARGV); ++$i) { |
Ted Kremenek | 89c4fcf | 2008-10-19 06:42:38 +0000 | [diff] [blame] | 468 | my $Arg = $ARGV[$i]; |
| 469 | my ($ArgKey) = split /=/,$Arg,2; |
| 470 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 471 | # Modes ccc-analyzer supports |
Ted Kremenek | d732a7b | 2009-08-04 00:57:12 +0000 | [diff] [blame] | 472 | if ($Arg =~ /^-(E|MM?)$/) { $Action = 'preprocess'; } |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 473 | elsif ($Arg eq '-c') { $Action = 'compile'; } |
| 474 | elsif ($Arg =~ /^-print-prog-name/) { exit 0; } |
Ted Kremenek | 27783eb | 2008-09-25 20:17:57 +0000 | [diff] [blame] | 475 | |
| 476 | # Specially handle duplicate cases of -arch |
| 477 | if ($Arg eq "-arch") { |
| 478 | my $arch = $ARGV[$i+1]; |
Ted Kremenek | 8459132 | 2009-02-24 22:07:12 +0000 | [diff] [blame] | 479 | # We don't want to process 'ppc' because of Clang's lack of support |
| 480 | # for Altivec (also some #defines won't likely be defined correctly, etc.) |
| 481 | if (!(defined $DisabledArchs{$arch})) { $ArchsSeen{$arch} = 1; } |
| 482 | $HadArch = 1; |
Ted Kremenek | 27783eb | 2008-09-25 20:17:57 +0000 | [diff] [blame] | 483 | ++$i; |
| 484 | next; |
| 485 | } |
| 486 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 487 | # Options with possible arguments that should pass through to compiler. |
Ted Kremenek | 89c4fcf | 2008-10-19 06:42:38 +0000 | [diff] [blame] | 488 | if (defined $CompileOptionMap{$ArgKey}) { |
| 489 | my $Cnt = $CompileOptionMap{$ArgKey}; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 490 | push @CompileOpts,$Arg; |
| 491 | while ($Cnt > 0) { ++$i; --$Cnt; push @CompileOpts, $ARGV[$i]; } |
| 492 | next; |
| 493 | } |
Ted Kremenek | 75dcea5 | 2013-01-10 19:29:31 +0000 | [diff] [blame^] | 494 | if ($Arg =~ /-msse.*/) { |
| 495 | push @CompileOpts,$Arg; |
| 496 | next; |
| 497 | } |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 498 | |
| 499 | # Options with possible arguments that should pass through to linker. |
Ted Kremenek | 89c4fcf | 2008-10-19 06:42:38 +0000 | [diff] [blame] | 500 | if (defined $LinkerOptionMap{$ArgKey}) { |
| 501 | my $Cnt = $LinkerOptionMap{$ArgKey}; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 502 | push @LinkOpts,$Arg; |
| 503 | while ($Cnt > 0) { ++$i; --$Cnt; push @LinkOpts, $ARGV[$i]; } |
| 504 | next; |
| 505 | } |
| 506 | |
| 507 | # Options with possible arguments that should pass through to both compiler |
| 508 | # and the linker. |
Ted Kremenek | 89c4fcf | 2008-10-19 06:42:38 +0000 | [diff] [blame] | 509 | if (defined $CompilerLinkerOptionMap{$ArgKey}) { |
| 510 | my $Cnt = $CompilerLinkerOptionMap{$ArgKey}; |
Ted Kremenek | 47fc25f | 2008-09-29 23:06:09 +0000 | [diff] [blame] | 511 | |
Ted Kremenek | a30730e | 2008-09-29 16:15:20 +0000 | [diff] [blame] | 512 | # Check if this is an option that should have a unique value, and if so |
| 513 | # determine if the value was checked before. |
| 514 | if ($UniqueOptions{$Arg}) { |
| 515 | if (defined $Uniqued{$Arg}) { |
| 516 | $i += $Cnt; |
| 517 | next; |
| 518 | } |
| 519 | $Uniqued{$Arg} = 1; |
| 520 | } |
| 521 | |
Ted Kremenek | 47fc25f | 2008-09-29 23:06:09 +0000 | [diff] [blame] | 522 | push @CompileOpts,$Arg; |
| 523 | push @LinkOpts,$Arg; |
| 524 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 525 | while ($Cnt > 0) { |
| 526 | ++$i; --$Cnt; |
| 527 | push @CompileOpts, $ARGV[$i]; |
| 528 | push @LinkOpts, $ARGV[$i]; |
| 529 | } |
| 530 | next; |
| 531 | } |
Ted Kremenek | 61cd988 | 2008-05-24 15:58:54 +0000 | [diff] [blame] | 532 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 533 | # Ignored options. |
Ted Kremenek | 89c4fcf | 2008-10-19 06:42:38 +0000 | [diff] [blame] | 534 | if (defined $IgnoredOptionMap{$ArgKey}) { |
| 535 | my $Cnt = $IgnoredOptionMap{$ArgKey}; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 536 | while ($Cnt > 0) { |
| 537 | ++$i; --$Cnt; |
| 538 | } |
| 539 | next; |
| 540 | } |
Ted Kremenek | 61cd988 | 2008-05-24 15:58:54 +0000 | [diff] [blame] | 541 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 542 | # Compile mode flags. |
| 543 | if ($Arg =~ /^-[D,I,U](.*)$/) { |
| 544 | my $Tmp = $Arg; |
| 545 | if ($1 eq '') { |
| 546 | # FIXME: Check if we are going off the end. |
| 547 | ++$i; |
| 548 | $Tmp = $Arg . $ARGV[$i]; |
| 549 | } |
| 550 | push @CompileOpts,$Tmp; |
| 551 | next; |
| 552 | } |
| 553 | |
| 554 | # Language. |
| 555 | if ($Arg eq '-x') { |
| 556 | $Lang = $ARGV[$i+1]; |
| 557 | ++$i; next; |
| 558 | } |
Ted Kremenek | 61cd988 | 2008-05-24 15:58:54 +0000 | [diff] [blame] | 559 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 560 | # Output file. |
| 561 | if ($Arg eq '-o') { |
| 562 | ++$i; |
| 563 | $Output = $ARGV[$i]; |
| 564 | next; |
| 565 | } |
| 566 | |
| 567 | # Get the link mode. |
| 568 | if ($Arg =~ /^-[l,L,O]/) { |
| 569 | if ($Arg eq '-O') { push @LinkOpts,'-O1'; } |
| 570 | elsif ($Arg eq '-Os') { push @LinkOpts,'-O2'; } |
| 571 | else { push @LinkOpts,$Arg; } |
| 572 | next; |
| 573 | } |
| 574 | |
| 575 | if ($Arg =~ /^-std=/) { |
| 576 | push @CompileOpts,$Arg; |
| 577 | next; |
| 578 | } |
| 579 | |
| 580 | # if ($Arg =~ /^-f/) { |
| 581 | # # FIXME: Not sure if the remaining -fxxxx options have no arguments. |
| 582 | # push @CompileOpts,$Arg; |
| 583 | # push @LinkOpts,$Arg; # FIXME: Not sure if these are link opts. |
| 584 | # } |
| 585 | |
| 586 | # Get the compiler/link mode. |
| 587 | if ($Arg =~ /^-F(.+)$/) { |
| 588 | my $Tmp = $Arg; |
| 589 | if ($1 eq '') { |
| 590 | # FIXME: Check if we are going off the end. |
| 591 | ++$i; |
| 592 | $Tmp = $Arg . $ARGV[$i]; |
| 593 | } |
| 594 | push @CompileOpts,$Tmp; |
| 595 | push @LinkOpts,$Tmp; |
| 596 | next; |
| 597 | } |
Ted Kremenek | 61cd988 | 2008-05-24 15:58:54 +0000 | [diff] [blame] | 598 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 599 | # Input files. |
| 600 | if ($Arg eq '-filelist') { |
| 601 | # FIXME: Make sure we aren't walking off the end. |
| 602 | open(IN, $ARGV[$i+1]); |
| 603 | while (<IN>) { s/\015?\012//; push @Files,$_; } |
| 604 | close(IN); |
Ted Kremenek | 0895937 | 2009-08-14 18:20:50 +0000 | [diff] [blame] | 605 | ++$i; |
| 606 | next; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 607 | } |
| 608 | |
Ted Kremenek | 0895937 | 2009-08-14 18:20:50 +0000 | [diff] [blame] | 609 | # Handle -Wno-. We don't care about extra warnings, but |
| 610 | # we should suppress ones that we don't want to see. |
| 611 | if ($Arg =~ /^-Wno-/) { |
| 612 | push @CompileOpts, $Arg; |
| 613 | next; |
| 614 | } |
| 615 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 616 | if (!($Arg =~ /^-/)) { |
Ted Kremenek | 0895937 | 2009-08-14 18:20:50 +0000 | [diff] [blame] | 617 | push @Files, $Arg; |
| 618 | next; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 619 | } |
| 620 | } |
Ted Kremenek | 61cd988 | 2008-05-24 15:58:54 +0000 | [diff] [blame] | 621 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 622 | if ($Action eq 'compile' or $Action eq 'link') { |
Ted Kremenek | 8459132 | 2009-02-24 22:07:12 +0000 | [diff] [blame] | 623 | my @Archs = keys %ArchsSeen; |
| 624 | # Skip the file if we don't support the architectures specified. |
Ted Kremenek | 0e0eb8b | 2009-02-25 00:10:37 +0000 | [diff] [blame] | 625 | exit 0 if ($HadArch && scalar(@Archs) == 0); |
Jordan Rose | 2cbdd7d | 2012-11-28 19:12:44 +0000 | [diff] [blame] | 626 | |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 627 | foreach my $file (@Files) { |
| 628 | # Determine the language for the file. |
| 629 | my $FileLang = $Lang; |
| 630 | |
| 631 | if (!defined($FileLang)) { |
| 632 | # Infer the language from the extension. |
| 633 | if ($file =~ /[.]([^.]+)$/) { |
| 634 | $FileLang = $LangMap{$1}; |
| 635 | } |
| 636 | } |
Ted Kremenek | 1262fc4 | 2008-05-14 20:10:33 +0000 | [diff] [blame] | 637 | |
Ted Kremenek | 1d81ed9 | 2010-02-12 00:10:34 +0000 | [diff] [blame] | 638 | # FileLang still not defined? Skip the file. |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 639 | next if (!defined $FileLang); |
Ted Kremenek | 1d81ed9 | 2010-02-12 00:10:34 +0000 | [diff] [blame] | 640 | |
| 641 | # Language not accepted? |
Ted Kremenek | efaf191 | 2009-05-11 21:08:34 +0000 | [diff] [blame] | 642 | next if (!defined $LangsAccepted{$FileLang}); |
Ted Kremenek | 1d81ed9 | 2010-02-12 00:10:34 +0000 | [diff] [blame] | 643 | |
Ted Kremenek | 9a9e0d4 | 2009-05-15 04:20:31 +0000 | [diff] [blame] | 644 | my @CmdArgs; |
| 645 | my @AnalyzeArgs; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 646 | |
| 647 | if ($FileLang ne 'unknown') { |
Ted Kremenek | 5e48bcf | 2011-03-16 21:10:42 +0000 | [diff] [blame] | 648 | push @CmdArgs, '-x', $FileLang; |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 649 | } |
Ted Kremenek | b098288 | 2008-03-25 22:35:32 +0000 | [diff] [blame] | 650 | |
Zhongxing Xu | 07c3767 | 2008-10-27 14:26:32 +0000 | [diff] [blame] | 651 | if (defined $StoreModel) { |
Ted Kremenek | be1fe1e | 2009-02-17 04:27:41 +0000 | [diff] [blame] | 652 | push @AnalyzeArgs, "-analyzer-store=$StoreModel"; |
Zhongxing Xu | 07c3767 | 2008-10-27 14:26:32 +0000 | [diff] [blame] | 653 | } |
Ted Kremenek | be1fe1e | 2009-02-17 04:27:41 +0000 | [diff] [blame] | 654 | |
| 655 | if (defined $ConstraintsModel) { |
| 656 | push @AnalyzeArgs, "-analyzer-constraints=$ConstraintsModel"; |
| 657 | } |
Anna Zaks | 1e548f1 | 2012-06-22 22:08:12 +0000 | [diff] [blame] | 658 | |
| 659 | if (defined $InternalStats) { |
| 660 | push @AnalyzeArgs, "-analyzer-stats"; |
| 661 | } |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 662 | |
Anna Zaks | 71f11d6 | 2011-08-31 23:53:24 +0000 | [diff] [blame] | 663 | if (defined $Analyses) { |
| 664 | push @AnalyzeArgs, split '\s+', $Analyses; |
| 665 | } |
Ted Kremenek | be1fe1e | 2009-02-17 04:27:41 +0000 | [diff] [blame] | 666 | |
Anna Zaks | f8e8a3e | 2012-05-25 01:13:50 +0000 | [diff] [blame] | 667 | if (defined $Plugins) { |
| 668 | push @AnalyzeArgs, split '\s+', $Plugins; |
| 669 | } |
| 670 | |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 671 | if (defined $OutputFormat) { |
Ted Kremenek | be1fe1e | 2009-02-17 04:27:41 +0000 | [diff] [blame] | 672 | push @AnalyzeArgs, "-analyzer-output=" . $OutputFormat; |
Ted Kremenek | 7753b35 | 2009-07-27 22:10:34 +0000 | [diff] [blame] | 673 | if ($OutputFormat =~ /plist/) { |
Ted Kremenek | ddf32da | 2009-01-21 00:42:24 +0000 | [diff] [blame] | 674 | # Change "Output" to be a file. |
| 675 | my ($h, $f) = tempfile("report-XXXXXX", SUFFIX => ".plist", |
| 676 | DIR => $HtmlDir); |
| 677 | $ResultFile = $f; |
Anna Zaks | 9134294 | 2011-09-09 18:43:53 +0000 | [diff] [blame] | 678 | # If the HtmlDir is not set, we sould clean up the plist files. |
| 679 | if (!defined $HtmlDir || -z $HtmlDir) { |
Jordan Rose | 2cbdd7d | 2012-11-28 19:12:44 +0000 | [diff] [blame] | 680 | $CleanupFile = $f; |
Anna Zaks | 9134294 | 2011-09-09 18:43:53 +0000 | [diff] [blame] | 681 | } |
Ted Kremenek | ddf32da | 2009-01-21 00:42:24 +0000 | [diff] [blame] | 682 | } |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 683 | } |
Zhongxing Xu | 07c3767 | 2008-10-27 14:26:32 +0000 | [diff] [blame] | 684 | |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 685 | push @CmdArgs, @CompileOpts; |
| 686 | push @CmdArgs, $file; |
Zhongxing Xu | 07c3767 | 2008-10-27 14:26:32 +0000 | [diff] [blame] | 687 | |
Ted Kremenek | 27783eb | 2008-09-25 20:17:57 +0000 | [diff] [blame] | 688 | if (scalar @Archs) { |
| 689 | foreach my $arch (@Archs) { |
| 690 | my @NewArgs; |
Ted Kremenek | 5e48bcf | 2011-03-16 21:10:42 +0000 | [diff] [blame] | 691 | push @NewArgs, '-arch', $arch; |
Ted Kremenek | 9a9e0d4 | 2009-05-15 04:20:31 +0000 | [diff] [blame] | 692 | push @NewArgs, @CmdArgs; |
Ted Kremenek | 2a3a8b9 | 2009-12-11 22:44:53 +0000 | [diff] [blame] | 693 | Analyze($Clang, \@NewArgs, \@AnalyzeArgs, $FileLang, $Output, |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 694 | $Verbose, $HtmlDir, $file); |
Ted Kremenek | 27783eb | 2008-09-25 20:17:57 +0000 | [diff] [blame] | 695 | } |
| 696 | } |
| 697 | else { |
Ted Kremenek | 2a3a8b9 | 2009-12-11 22:44:53 +0000 | [diff] [blame] | 698 | Analyze($Clang, \@CmdArgs, \@AnalyzeArgs, $FileLang, $Output, |
Ted Kremenek | 7fe679f | 2011-02-17 02:28:30 +0000 | [diff] [blame] | 699 | $Verbose, $HtmlDir, $file); |
Ted Kremenek | 27783eb | 2008-09-25 20:17:57 +0000 | [diff] [blame] | 700 | } |
Ted Kremenek | fbeeca8 | 2008-07-19 06:11:04 +0000 | [diff] [blame] | 701 | } |
| 702 | } |
Ted Kremenek | b098288 | 2008-03-25 22:35:32 +0000 | [diff] [blame] | 703 | |
Ted Kremenek | 948e06b | 2008-08-27 22:30:34 +0000 | [diff] [blame] | 704 | exit($Status >> 8); |
| 705 | |