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 | d954638f02e77ed3ade66d60945f7ee60747e3b5 (patch) | |
| tree | 197149147fb245fe77f0c5797c19569a16f0b07d /clang/lib/Driver/Tools.cpp | |
| parent | 7cc35b76c3eb20b1eae194317bff8872e5119086 (diff) | |
| download | bcm5719-llvm-d954638f02e77ed3ade66d60945f7ee60747e3b5.tar.gz bcm5719-llvm-d954638f02e77ed3ade66d60945f7ee60747e3b5.zip | |
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
Diffstat (limited to 'clang/lib/Driver/Tools.cpp')
| -rw-r--r-- | clang/lib/Driver/Tools.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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); |
