diff options
| author | Sylvestre Ledru <sylvestre@debian.org> | 2019-09-05 19:50:56 +0000 |
|---|---|---|
| committer | Sylvestre Ledru <sylvestre@debian.org> | 2019-09-05 19:50:56 +0000 |
| commit | 4e281f70ca598f18a99088ae10386e4a4d4d1574 (patch) | |
| tree | 5fe7b5c62ad45d39688c4248962c5c2f4b262661 /llvm/lib/CodeGen/IfConversion.cpp | |
| parent | 37fcd3a33ec85c72b23bb469ce554f5c053bd3d1 (diff) | |
| download | bcm5719-llvm-4e281f70ca598f18a99088ae10386e4a4d4d1574.tar.gz bcm5719-llvm-4e281f70ca598f18a99088ae10386e4a4d4d1574.zip | |
doc update: explain that Z3 is only for clang SA - thanks to LebedevRI for the suggestion
llvm-svn: 371110
Diffstat (limited to 'llvm/lib/CodeGen/IfConversion.cpp')
0 files changed, 0 insertions, 0 deletions
