google/souper — pull request #35 by rsas (2014-08-18 18:04:14+00:00)
Title: Bugfix: Extend/Truncate Ptr instruction to PSize

This fix addresses the issues #29 and #33. The Addend instruction is of PSize width, but the Ptr instruction can have a different width that is not checked before passing it to Inst::Add. This was the source of the size mismatches when building KLEE expressions.