diff options
| author | Mike Stump <mrs@apple.com> | 2009-12-12 01:27:46 +0000 |
|---|---|---|
| committer | Mike Stump <mrs@apple.com> | 2009-12-12 01:27:46 +0000 |
| commit | 9c276ae0f24d4cee8f7954069d4b8eae45d0447d (patch) | |
| tree | 967ccefb7c10869562faaa2dd6f5b9feb43c8ce7 /lib/Driver/Tools.cpp | |
| parent | 498eb7ece2a5699e215acf071040de27d7882931 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91198 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Driver/Tools.cpp')
| -rw-r--r-- | lib/Driver/Tools.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Driver/Tools.cpp b/lib/Driver/Tools.cpp index 1d82d82c04..4279db59c9 100644 --- a/lib/Driver/Tools.cpp +++ b/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); |