Implement simplify_type for ref<>

 - This allows dyn_cast<> and friends to be applied to a ref. For example,
     if (ConstantExpr *CE = dyn_cast<ConstantExpr>(foo)) {
       ... do something with CE ...
     }

 - This makes working with ref<Expr>s much more convenient, with the downside
   that it hides a potentially dangerous operation. Since the result is not
   itself a ref<>; clients are resposible for making sure the returned value is
   only used inside the lifetime of some other ref<>.


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

0 files changed, 0 insertions, 0 deletions