summaryrefslogtreecommitdiff
path: root/tools/scan-build
diff options
context:
space:
mode:
authorJordan Rose <jordan_rose@apple.com>2013-09-14 00:41:32 +0000
committerJordan Rose <jordan_rose@apple.com>2013-09-14 00:41:32 +0000
commitf8a89ce9f09f04fbb80426f4940f0c601a017b5e (patch)
tree71646174595f7dd96f93229d1163889b341087f0 /tools/scan-build
parent0f43a6daddd41722a4183a49b344f85b5aefbb33 (diff)
downloadclang-f8a89ce9f09f04fbb80426f4940f0c601a017b5e.tar.gz
clang-f8a89ce9f09f04fbb80426f4940f0c601a017b5e.tar.bz2
clang-f8a89ce9f09f04fbb80426f4940f0c601a017b5e.tar.xz
[analyzer] Put more uniqueness in scan-build's temporary directory names.
This is necessary when running two scan-build processes in parallel. The directory naming scheme is now: yyyy-MM-dd-HHmmss-PID-N 2013-09-13-174210-123-1 where "PID" is the scan-build process ID, and "N" is a sequential counter (not likely to be needed now that seconds are mangled in, but just in case). PR17196, using a suggested fix from Greg Czajkowski! git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@190735 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'tools/scan-build')
-rwxr-xr-xtools/scan-build/scan-build14
1 files changed, 11 insertions, 3 deletions
diff --git a/tools/scan-build/scan-build b/tools/scan-build/scan-build
index 4590279b15..4fcd74efe8 100755
--- a/tools/scan-build/scan-build
+++ b/tools/scan-build/scan-build
@@ -135,7 +135,13 @@ sub GetHTMLRunDir {
my $year = $CurrentTime[5] + 1900;
my $day = $CurrentTime[3];
my $month = $CurrentTime[4] + 1;
- my $DateString = sprintf("%d-%02d-%02d", $year, $month, $day);
+ my $hour = $CurrentTime[2];
+ my $min = $CurrentTime[1];
+ my $sec = $CurrentTime[0];
+
+ my $TimeString = sprintf("%02d%02d%02d", $hour, $min, $sec)
+ my $DateString = sprintf("%d-%02d-%02d-%s-$$",
+ $year, $month, $day, $TimeString);
# Determine the run number.
my $RunNumber;
@@ -162,9 +168,11 @@ sub GetHTMLRunDir {
next if ($x[0] != $year);
next if ($x[1] != $month);
next if ($x[2] != $day);
+ next if ($x[3] != $TimeString);
+ next if ($x[4] != $$);
- if ($x[3] > $max) {
- $max = $x[3];
+ if ($x[5] > $max) {
+ $max = $x[5];
}
}