diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-09-10 17:51:27 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-09-10 17:51:27 +0000 |
| commit | 90db75ed24fdfe533ca0cbfa7771618959a9fd41 (patch) | |
| tree | 42eede43fa74b461a3ac262eec9a1f8f4bfc7fcf /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 053701399d42c76fdaff6c16f44494516c046c80 (diff) | |
| download | llvm-90db75ed24fdfe533ca0cbfa7771618959a9fd41.zip llvm-90db75ed24fdfe533ca0cbfa7771618959a9fd41.tar.gz llvm-90db75ed24fdfe533ca0cbfa7771618959a9fd41.tar.bz2 | |
Runtime error check elimination
Hoist runtime checks in the loop nest if they guard an "error" like event.
Such events are recognized as blocks with an unreachable terminator or a call
to the ubsan function that deals with out of bound accesses. Other "error"
events can be added easily.
We will ignore these blocks when we detect/model/optmize and code generate SCoPs
but we will make sure that they would not have been executed using the assumption
framework.
llvm-svn: 247310
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions