From e2af864fc0d3884a3fbf5cca5aac289d35bb827a Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Sun, 23 Jul 2017 12:12:54 +0200 Subject: Remove klee-gcc --- scripts/klee-gcc | 44 -------------------------------------------- 1 file changed, 44 deletions(-) delete mode 100755 scripts/klee-gcc (limited to 'scripts/klee-gcc') diff --git a/scripts/klee-gcc b/scripts/klee-gcc deleted file mode 100755 index 2add2248..00000000 --- a/scripts/klee-gcc +++ /dev/null @@ -1,44 +0,0 @@ -#!/usr/bin/env python - -# ===-- klee-gcc ----- ----------------------------------------------------===## -# -# The KLEE Symbolic Virtual Machine -# -# This file is distributed under the University of Illinois Open Source -# License. See LICENSE.TXT for details. -# -# ===----------------------------------------------------------------------===## - -import os, sys - -def isLinkCommand(): - # Look for '-Wl,' as a signal that we are calling the linker. What a hack. - for arg in sys.argv: - if arg.startswith('-Wl,'): - return True - -def main(): - if not isLinkCommand(): - os.execvp("llvm-gcc", ["llvm-gcc", "-emit-llvm"] + sys.argv[1:]) - return 1 - - # Otherwise, strip out arguments that llvm-ld doesn't understand. I don't - # want my previous explicit declaration of hackyness to imply that this bit - # of code here is not also a complete and total hack, it is. - args = sys.argv[1:] - linkArgs = [] - for a in args: - if a in ('-g', '-W', '-O', '-D', '-f', - '-fnested-functions', '-pthread'): - continue - elif a.startswith('-Wl,'): - continue - - linkArgs.append(a) - - os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs) - return 1 - -if __name__ == '__main__': - main() - -- cgit 1.4.1