diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2018-01-15 10:24:48 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-02-01 10:04:11 +0100 |
| commit | 46b144492c54a14004b0a982948610ff47f72743 (patch) | |
| tree | c7b9207151562e4ef24755f8276cd8459fd7f5a8 /cmake | |
| parent | c4a8b2901160568fba95b33d73a7792e0ba32c50 (diff) | |
| download | klee-46b144492c54a14004b0a982948610ff47f72743.tar.gz | |
llvm50: use auto variable instead of SwitchInst::CaseIt
llvm50 changed the semantics of SwitchInst::CaseIt and started using "auto" variable type. So use it here too for all versions greater than 3.4 -- 3.4 does not support this semantics yet. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'cmake')
0 files changed, 0 insertions, 0 deletions