| Dan Liew | fba4a67 | 2016-06-02 05:48:09 +0000 | [diff] [blame] | 1 | REQUIRES: dfsan |
| Kostya Serebryany | 8ce7424 | 2015-08-01 01:42:51 +0000 | [diff] [blame] | 2 | CHECK1: BINGO |
| 3 | CHECK2: BINGO |
| 4 | CHECK3: BINGO |
| 5 | CHECK4: BINGO |
| 6 | |
| Kostya Serebryany | ae7df1c | 2015-07-28 01:25:00 +0000 | [diff] [blame] | 7 | CHECK_DFSanCmpCallback: DFSanCmpCallback: PC |
| Kostya Serebryany | cd6a466 | 2015-07-31 17:05:05 +0000 | [diff] [blame] | 8 | CHECK_DFSanSwitchCallback: DFSanSwitchCallback: PC |
| Kostya Serebryany | c573316 | 2016-01-09 01:39:55 +0000 | [diff] [blame] | 9 | CHECK_DFSanMemcmpCallback: DFSanMemcmpCallback: Pos |
| Alexey Samsonov | dc324e1 | 2015-07-21 22:51:49 +0000 | [diff] [blame] | 10 | |
| Kostya Serebryany | 7ec0c56 | 2016-02-13 03:25:16 +0000 | [diff] [blame] | 11 | RUN: not LLVMFuzzer-SimpleCmpTest-DFSan -use_traces=1 -seed=1 -runs=10000000 -timeout=5 2>&1 | FileCheck %s --check-prefix=CHECK1 |
| Kostya Serebryany | ae7df1c | 2015-07-28 01:25:00 +0000 | [diff] [blame] | 12 | RUN: LLVMFuzzer-SimpleCmpTest-DFSan -use_traces=1 -seed=1 -runs=100 -timeout=5 -verbosity=3 2>&1 | FileCheck %s -check-prefix=CHECK_DFSanCmpCallback |
| Alexey Samsonov | dc324e1 | 2015-07-21 22:51:49 +0000 | [diff] [blame] | 13 | |
| Kostya Serebryany | 4b35874 | 2016-01-14 02:36:44 +0000 | [diff] [blame] | 14 | RUN: not LLVMFuzzer-MemcmpTest-DFSan -use_traces=1 -seed=1 -runs=100000 -timeout=5 2>&1 | FileCheck %s --check-prefix=CHECK2 |
| Kostya Serebryany | c573316 | 2016-01-09 01:39:55 +0000 | [diff] [blame] | 15 | RUN: LLVMFuzzer-MemcmpTest-DFSan -use_traces=1 -seed=1 -runs=2 -timeout=5 -verbosity=3 2>&1 | FileCheck %s -check-prefix=CHECK_DFSanMemcmpCallback |
| Alexey Samsonov | dc324e1 | 2015-07-21 22:51:49 +0000 | [diff] [blame] | 16 | |
| Kostya Serebryany | 8ce7424 | 2015-08-01 01:42:51 +0000 | [diff] [blame] | 17 | RUN: not LLVMFuzzer-StrncmpTest-DFSan -use_traces=1 -seed=1 -runs=10000 -timeout=5 2>&1 | FileCheck %s --check-prefix=CHECK3 |
| Kostya Serebryany | c573316 | 2016-01-09 01:39:55 +0000 | [diff] [blame] | 18 | RUN: LLVMFuzzer-StrncmpTest-DFSan -use_traces=1 -seed=1 -runs=2 -timeout=5 -verbosity=3 2>&1 | FileCheck %s -check-prefix=CHECK_DFSanMemcmpCallback |
| Kostya Serebryany | cd6a466 | 2015-07-31 17:05:05 +0000 | [diff] [blame] | 19 | |
| Kostya Serebryany | 7f4227d | 2015-08-05 18:23:01 +0000 | [diff] [blame] | 20 | RUN: not LLVMFuzzer-StrcmpTest-DFSan -use_traces=1 -seed=1 -runs=10000 -timeout=5 2>&1 | FileCheck %s --check-prefix=CHECK3 |
| Kostya Serebryany | c573316 | 2016-01-09 01:39:55 +0000 | [diff] [blame] | 21 | RUN: LLVMFuzzer-StrcmpTest-DFSan -use_traces=1 -seed=1 -runs=2 -timeout=5 -verbosity=3 2>&1 | FileCheck %s -check-prefix=CHECK_DFSanMemcmpCallback |
| Kostya Serebryany | 7f4227d | 2015-08-05 18:23:01 +0000 | [diff] [blame] | 22 | |
| Kostya Serebryany | 8ce7424 | 2015-08-01 01:42:51 +0000 | [diff] [blame] | 23 | RUN: not LLVMFuzzer-SwitchTest-DFSan -use_traces=1 -seed=1 -runs=100000 -timeout=5 2>&1 | FileCheck %s --check-prefix=CHECK4 |
| Kostya Serebryany | cd6a466 | 2015-07-31 17:05:05 +0000 | [diff] [blame] | 24 | RUN: LLVMFuzzer-SwitchTest-DFSan -use_traces=1 -seed=1 -runs=2 -timeout=5 -verbosity=3 2>&1 | FileCheck %s -check-prefix=CHECK_DFSanSwitchCallback |