diff options
author | Michael Herstine <sp1ff@pobox.com> | 2024-02-27 18:02:04 -0800 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2024-02-28 10:11:23 +0000 |
commit | a01f46c09137d521e736042bfb0395321f21e0fc (patch) | |
tree | 4e81715ae150b8f2d6044dbc807dadd154ce4cc9 /tools | |
parent | 399ea405d485474350a58a590d50154732000c2f (diff) | |
download | klee-a01f46c09137d521e736042bfb0395321f21e0fc.tar.gz |
Compare LLVM_VERSION_SHORT to "140" rather than "14".
In commit 2b07721, support was added to p-libcxx.inc & p-llvm.inc for LLVM versions 14+ (in which, apparently, certain build flags were changed). To detect these recent versions, the variable LLVM_VERSION_SHORT was compared numerically to "14"-- the intent obviously being to express "LLVM version 14 or later". However, in both v-clang.inc & v-llvm.inc, LLVM_VERSION_SHORT is defined as the concatenation of LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR. Therefore, on a machine with, say, LLVM 13.0 installed, LLVM_VERSION_SHORT will be "130" which compares as larger than "14". This patch changes the comparison to be against "140".
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions