diff options
| author | Tyker <tyker1@outlook.com> | 2020-05-10 18:20:34 +0200 |
|---|---|---|
| committer | Tyker <tyker1@outlook.com> | 2020-05-10 19:23:59 +0200 |
| commit | 821a0f23d83921bf32a0a290b5f267f3514d09df (patch) | |
| tree | 3286dd32e3cd271ef433f8777f4dd718f05ff5fc /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 7f22ceeaae74911d97773644a1058659f329887e (diff) | |
| download | llvm-821a0f23d83921bf32a0a290b5f267f3514d09df.zip llvm-821a0f23d83921bf32a0a290b5f267f3514d09df.tar.gz llvm-821a0f23d83921bf32a0a290b5f267f3514d09df.tar.bz2 | |
[AssumeBundles] Prevent generation of some redundant assumes
Summary: with this patch the assume salvageKnowledge will not generate assume if all knowledge is already available in an assume with valid context. assume bulider can also in some cases update an existing assume with better information.
Reviewers: jdoerfert
Reviewed By: jdoerfert
Subscribers: hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D78014
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions