search for: typeloc

...iscuss 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: > >> On Nov 18, 2012, at 5:05 PM, David Blaikie <dblaikie at gmail.com> wrote: > >>> TypeLoc casting looks bogus. > >>> > >>> TypeLoc derived types return true from classof when the dynamic type > >>> is not actually an instance of the derived type. The TypeLoc is then > >>> (erroneously) cast to the derived type and the derived type's im...

...ty of extending the cast >> > infrastructure to handle this. >> > >> > On Tue, Nov 20, 2012 at 5:51 PM, John McCall <rjmccall at apple.com> wrote: >> >> On Nov 18, 2012, at 5:05 PM, David Blaikie <dblaikie at gmail.com> wrote: >> >>> TypeLoc casting looks bogus. >> >>> >> >>> TypeLoc derived types return true from classof when the dynamic type >> >>> is not actually an instance of the derived type. The TypeLoc is then >> >>> (erroneously) cast to the derived type and the deriv...

...cast >>> > infrastructure to handle this. >>> > >>> > On Tue, Nov 20, 2012 at 5:51 PM, John McCall <rjmccall at apple.com> wrote: >>> >> On Nov 18, 2012, at 5:05 PM, David Blaikie <dblaikie at gmail.com> wrote: >>> >>> TypeLoc casting looks bogus. >>> >>> >>> >>> TypeLoc derived types return true from classof when the dynamic type >>> >>> is not actually an instance of the derived type. The TypeLoc is then >>> >>> (erroneously) cast to the derived ty...

...; 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: >> On Nov 18, 2012, at 5:05 PM, David Blaikie <dblaikie at gmail.com> wrote: >>> TypeLoc casting looks bogus. >>> >>> TypeLoc derived types return true from classof when the dynamic type >>> is not actually an instance of the derived type. The TypeLoc is then >>> (erroneously) cast to the derived type and the derived type's implicit >>>...

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: > On Nov 18, 2012, at 5:05 PM, David Blaikie <dblaikie at gmail.com> wrote: >> TypeLoc casting looks bogus. >> >> TypeLoc derived types return true from classof when the dynamic type >> is not actually an instance of the derived type. The TypeLoc is then >> (erroneously) cast to the derived type and the derived type's implicit >> copy ctor is execute...

...l(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 already working on) hierarchies? > Sorry everyone for not seeing this. Jordan was nice enough to ping me. I would be perfectly fine with this change, and I think it looks cleaner anyways. I think it is a great idea. -------------- next part -------------- An HTML attachment...

...const 96244 llvm::hashing::detail::hash_short(char const*, unsigned long, unsigned long) 94872 _ZN4llvm7hashing6detail23hash_combine_range_implIKjEENSt9enable_ifIXsr16is_hashable_dataIT_EE5valueENS_9hash_codeEE4typeEPS5_S9_ 91536 clang::DeclContext::lookup(clang::DeclarationName) const 84122 clang::TypeLoc::getNextTypeLocImpl(clang::TypeLoc) 81368 clang::TypeLoc::getLocalSourceRangeImpl(clang::TypeLoc) 80626 clang::FunctionDecl::getCanonicalDecl() 79489 clang::TagDecl::getDefinition() const 77347 clang::Lexer::LexIdentifier(clang::Token&, char const*) - The top few slowest (filtered by hand, bec...

...;Unterminated quoted string"); - if (varnest != 0) { + if (synstack->varnest != 0) { /* { */ synerror("Missing '}'"); } @@ -1202,6 +1234,8 @@ parsesub: { PARSEBACKQNEW(); } } else { + const char *newsyn = synstack->syntax; + USTPUTC(CTLVAR, out); typeloc = out - (char *)stackblock(); STADJUST(1, out); @@ -1252,6 +1286,8 @@ varname: } if (subtype == 0) { + int cc = c; + switch (c) { case ':': subtype = VSNUL; @@ -1265,27 +1301,40 @@ varname: break; case '%': case '#': - { - int cc...

...;Unterminated quoted string"); - if (varnest != 0) { + if (synstack->varnest != 0) { /* { */ synerror("Missing '}'"); } @@ -1202,6 +1234,8 @@ parsesub: { PARSEBACKQNEW(); } } else { + const char *newsyn = synstack->syntax; + USTPUTC(CTLVAR, out); typeloc = out - (char *)stackblock(); STADJUST(1, out); @@ -1252,6 +1286,8 @@ varname: } if (subtype == 0) { + int cc = c; + switch (c) { case ':': subtype = VSNUL; @@ -1265,27 +1301,40 @@ varname: break; case '%': case '#': - { - int cc...