diff options
Diffstat (limited to 'coreconf/sanitizers.py')
-rw-r--r-- | coreconf/sanitizers.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/coreconf/sanitizers.py b/coreconf/sanitizers.py index 8735aad61..deeb08cba 100644 --- a/coreconf/sanitizers.py +++ b/coreconf/sanitizers.py @@ -5,7 +5,7 @@ import sys def main(): if len(sys.argv) < 2: - raise Exception('Specify either "asan", "msan", "sancov" or "ubsan" as argument.') + raise Exception('Specify either "asan", "msan", "sancov", "sourcecov" or "ubsan" as argument.') sanitizer = sys.argv[1] if sanitizer == "ubsan": @@ -26,8 +26,11 @@ def main(): raise Exception('sancov requires another argument (edge|bb|func).') print('-fsanitize-coverage='+sys.argv[2]+' ', end='') return + if sanitizer == "sourcecov": + print('-fprofile-instr-generate -fcoverage-mapping', end='') + return - raise Exception('Specify either "asan", "msan", "sancov" or "ubsan" as argument.') + raise Exception('Specify either "asan", "msan", "sancov", "sourcecov" or "ubsan" as argument.') if __name__ == '__main__': main() |