On Aug 9, 2012, at 15:36 , Matt Beaumont-Gay <[email protected]> wrote:
> On Thu, Aug 9, 2012 at 2:24 PM, Jordan Rose <[email protected]> wrote: >> /// Evaluates DerivedToBase casts. >> - virtual SVal evalDerivedToBase(SVal derived, QualType basePtrType) = 0; >> + virtual SVal evalDerivedToBase(SVal derived, const CastExpr *Cast); >> + >> + /// Evaluates a derived-to-base cast through a single level of derivation. >> + virtual SVal evalDerivedToBase(SVal derived, QualType derivedPtrType) = 0; > > Looks like RegionStoreManager needs to be updated as well? GCC complains > thusly: > include/clang/StaticAnalyzer/Core/PathSensitive/Store.h:118:16: error: > 'virtual clang::ento::SVal > clang::ento::StoreManager::evalDerivedToBase(clang::ento::SVal, const > clang::CastExpr*)' was hidden [-Werror=overloaded-virtual] > lib/StaticAnalyzer/Core/RegionStore.cpp:194:16: error: by 'virtual > clang::ento::SVal > {anonymous}::RegionStoreManager::evalDerivedToBase(clang::ento::SVal, > clang::QualType)' [-Werror=overloaded-virtual] Oops, thanks. r161631. _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
