Left shift operator creates undefined behavior (!75) · Merge requests · SoSy-Lab / Benchmarking / SV-Benchmarks

🤖 SoSy-Bot 🤖 requested to merge github/fork/smackers/master into master Oct 22, 2015

Created by: zvonimir

We added an assume statement that prevents undefined behavior in the left shift operator from happening. Note that left shift is undefined if one is shifting for >= the number of available bits.

Left shift operator creates undefined behavior

Merge request reports