[sancov] enabling coverage edge pruning by default.
Differential Revision: http://reviews.llvm.org/D18845 llvm-svn: 265614
This commit is contained in:
parent
9af25704d2
commit
49a68258f5
|
|
@ -79,8 +79,8 @@ int main(int argc, char **argv) {
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
// CHECK-vanilla: PID: [[PID:[0-9]+]]
|
// CHECK-vanilla: PID: [[PID:[0-9]+]]
|
||||||
// CHECK-vanilla: .so.[[PID]].sancov: 258 PCs written
|
// CHECK-vanilla: .so.[[PID]].sancov: 257 PCs written
|
||||||
// CHECK-vanilla: [[PID]].sancov: 1 PCs written
|
// CHECK-vanilla: [[PID]].sancov: 1 PCs written
|
||||||
|
|
||||||
// CHECK-sandbox: PID: [[PID:[0-9]+]]
|
// CHECK-sandbox: PID: [[PID:[0-9]+]]
|
||||||
// CHECK-sandbox: 258 PCs written to packed file
|
// CHECK-sandbox: 257 PCs written to packed file
|
||||||
|
|
|
||||||
|
|
@ -25,10 +25,10 @@ int main(int argc, char **argv) {
|
||||||
|
|
||||||
// CHECK1: CovDump: bitset of 1 bits written for '{{.*}}', 1 bits are set
|
// CHECK1: CovDump: bitset of 1 bits written for '{{.*}}', 1 bits are set
|
||||||
// CHECK1: 1 PCs written
|
// CHECK1: 1 PCs written
|
||||||
// CHECK2: CovDump: bitset of 3 bits written for '{{.*}}', 2 bits are set
|
// CHECK2: CovDump: bitset of 2 bits written for '{{.*}}', 1 bits are set
|
||||||
// CHECK2: 2 PCs written
|
// CHECK2: 1 PCs written
|
||||||
// CHECK3: CovDump: bitset of 4 bits written for '{{.*}}', 3 bits are set
|
// CHECK3: CovDump: bitset of 3 bits written for '{{.*}}', 2 bits are set
|
||||||
// CHECK3: 3 PCs written
|
// CHECK3: 2 PCs written
|
||||||
// CHECK3_NOBITSET-NOT: bitset of
|
// CHECK3_NOBITSET-NOT: bitset of
|
||||||
// CHECK3_NOPCS-NOT: PCs written
|
// CHECK3_NOPCS-NOT: PCs written
|
||||||
// CHECK_COUNTERS: CovDump: 4 counters written for
|
// CHECK_COUNTERS: CovDump: 3 counters written for
|
||||||
|
|
|
||||||
|
|
@ -37,7 +37,7 @@ int main() {
|
||||||
uintptr_t sz2 = __sanitizer_get_coverage_pc_buffer(&buf2);
|
uintptr_t sz2 = __sanitizer_get_coverage_pc_buffer(&buf2);
|
||||||
assertNotZeroPcs(buf2, sz2);
|
assertNotZeroPcs(buf2, sz2);
|
||||||
assert(buf2 == buf);
|
assert(buf2 == buf);
|
||||||
assert(sz2 > sz1);
|
assert(sz2 == sz1);
|
||||||
|
|
||||||
__sanitizer_reset_coverage();
|
__sanitizer_reset_coverage();
|
||||||
uintptr_t *buf3 = NULL;
|
uintptr_t *buf3 = NULL;
|
||||||
|
|
|
||||||
|
|
@ -24,5 +24,5 @@ int main(int argc, char **argv) {
|
||||||
// CHECK_WARN: WARNING: MemorySanitizer: use-of-uninitialized-value
|
// CHECK_WARN: WARNING: MemorySanitizer: use-of-uninitialized-value
|
||||||
// CHECK_NOWARN-NOT: ERROR
|
// CHECK_NOWARN-NOT: ERROR
|
||||||
// CHECK1: 1 PCs written
|
// CHECK1: 1 PCs written
|
||||||
// CHECK2: 2 PCs written
|
// CHECK2: 1 PCs written
|
||||||
// CHECK3: 3 PCs written
|
// CHECK3: 2 PCs written
|
||||||
|
|
|
||||||
|
|
@ -37,5 +37,5 @@ int main(int argc, char **argv) {
|
||||||
// FIXME: Currently, ubsan with -fno-sanitize-recover and w/o asan will fail
|
// FIXME: Currently, ubsan with -fno-sanitize-recover and w/o asan will fail
|
||||||
// to dump coverage.
|
// to dump coverage.
|
||||||
// CHECK1: 1 PCs written
|
// CHECK1: 1 PCs written
|
||||||
// CHECK2: 3 PCs written
|
// CHECK2: 2 PCs written
|
||||||
// CHECK3: 3 PCs written
|
// CHECK3: 2 PCs written
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue