From d954638f02e77ed3ade66d60945f7ee60747e3b5 Mon Sep 17 00:00:00 2001 From: Mike Stump Date: Sat, 12 Dec 2009 01:27:46 +0000 Subject: Implement runtime checks for undefined behavior. WIP. This implements a new flag -fcatch-undefined-behavior. The flag turns on additional runtime checks for: T a[I]; a[i] abort when i < 0 or i >= I. Future stuff includes shifts by >= bitwidth amounts. llvm-svn: 91198 --- clang/lib/Driver/Tools.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'clang/lib/Driver/Tools.cpp') diff --git a/clang/lib/Driver/Tools.cpp b/clang/lib/Driver/Tools.cpp index 1d82d82c046..4279db59c91 100644 --- a/clang/lib/Driver/Tools.cpp +++ b/clang/lib/Driver/Tools.cpp @@ -895,6 +895,7 @@ void Clang::ConstructJob(Compilation &C, const JobAction &JA, } // Forward -f (flag) options which we can pass directly. + Args.AddLastArg(CmdArgs, options::OPT_fcatch_undefined_behavior); Args.AddLastArg(CmdArgs, options::OPT_femit_all_decls); Args.AddLastArg(CmdArgs, options::OPT_ffreestanding); Args.AddLastArg(CmdArgs, options::OPT_fheinous_gnu_extensions); -- cgit v1.2.3