Remove ref<>'s constant Expr optimization.

 - This simplifies what users of the Expr language need to deal with, and paves
   the way for arbitrary bit-width constant support.

 - The downside is that concrete interpretation just got *way* slower
   (2-3x). However, I have a plan for fixing this that should give us the best
   of both worlds in terms of performance & simplicity.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72753 91177308-0d34-0410-b5e6-96231b3b80d8

0 files changed, 0 insertions, 0 deletions