search for: foosval

...or me to introduce something > like (names subject to adjustment): > > template<typename T> > T SVal::castAs(); > > template<typename T> > llvm::Optional<T> SVal::getAs(); > > (the implementations of these functions might involve invoking private > FooSVal(SVal) ctors in each SVal derived type - so adding a bit of > boilerplate ctors to all those classes) > > and replace "cast<FooSVal>(bar)" with "bar.castAs<FooSVal>()" and > dyn_cast with getAs similarly? & similarly for the ProgramPoint (& > T...

...erarchy. So, Ted, how objectionable would it be for me to introduce something like (names subject to adjustment): template<typename T> T SVal::castAs(); template<typename T> llvm::Optional<T> SVal::getAs(); (the implementations of these functions might involve invoking private FooSVal(SVal) ctors in each SVal derived type - so adding a bit of boilerplate ctors to all those classes) and replace "cast<FooSVal>(bar)" with "bar.castAs<FooSVal>()" and dyn_cast with getAs similarly? & similarly for the ProgramPoint (& TypeLoc - which I'm al...

On Thu, Nov 29, 2012 at 8:16 PM, Richard Smith <richard at metafoo.co.uk> wrote: > On Thu, Nov 29, 2012 at 7:43 PM, Eli Friedman <eli.friedman at gmail.com> > wrote: >> >> On Thu, Nov 29, 2012 at 3:49 PM, David Blaikie <dblaikie at gmail.com> wrote: >> > Moving to LLVM dev to discuss the possibility of extending the cast >> > infrastructure to

On Thu, Nov 29, 2012 at 7:43 PM, Eli Friedman <eli.friedman at gmail.com>wrote: > On Thu, Nov 29, 2012 at 3:49 PM, David Blaikie <dblaikie at gmail.com> wrote: > > Moving to LLVM dev to discuss the possibility of extending the cast > > infrastructure to handle this. > > > > On Tue, Nov 20, 2012 at 5:51 PM, John McCall <rjmccall at apple.com> wrote: