diff options
author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-06-29 18:34:11 +0200 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-07-23 13:46:59 +0100 |
commit | 9358aa95f9ae94cbb4e1a9f638e953e0164da86c (patch) | |
tree | c8c0f9eeed281e504653ca480aabe4e2d368ad74 /lib/Module/LowerSwitch.cpp | |
parent | 29e349142a54f7bee17bd7ac7f81ba6423075bed (diff) | |
download | klee-9358aa95f9ae94cbb4e1a9f638e953e0164da86c.tar.gz |
fix: LLVM 3.5, begin_user() instead of begin_use()
With version 3.5, LLVM introduced a subtle semantic change in the API of `Value`. With that change, `use_begin()` is renamed to `user_begin()`. Additionally, a new method `use_begin()` with a different meaning was introduced. Now, `use_begin()` actually iterates over `Use`s, whereas before, dereferencing it would give a `User *`. For further details, please refer to https://reviews.llvm.org/rL203364. Due to the reintroduction of `use_begin()`, existing code may still compile, although the semantics have changed. In the code changed with this patch, all `dyn_cast`s for `Use` fail and the else branch is always taken.
Diffstat (limited to 'lib/Module/LowerSwitch.cpp')
0 files changed, 0 insertions, 0 deletions