-
Daniel Liew authored
command line argument). Overshift is where a Shl, AShr or LShr has a shift width greater than the bit width of the first operand. This is undefined behaviour in LLVM so we report this as an error. Conflicts: lib/Module/KModule.cpp tools/klee/main.cpp
a98690d5