Szelethus created this revision. Szelethus added reviewers: NoQ, george.karpenkov, dcoughlin, chandlerc. Herald added a subscriber: cfe-commits.
Clang side changes, see https://reviews.llvm.org/D49985. Repository: rC Clang https://reviews.llvm.org/D49986 Files: include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h Index: include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h =================================================================== --- include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h +++ include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h @@ -153,7 +153,7 @@ using context_type = typename data_type::Factory &; static data_type Add(data_type L, key_type K, context_type F) { - return F.add(L, K); + return F.add(K, L); } static bool Contains(data_type L, key_type K) { Index: include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h =================================================================== --- include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h +++ include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h @@ -233,7 +233,7 @@ } llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L) { - return SValListFactory.add(L, X); + return SValListFactory.add(X, L); } llvm::ImmutableList<const CXXBaseSpecifier *> getEmptyCXXBaseList() { @@ -243,7 +243,7 @@ llvm::ImmutableList<const CXXBaseSpecifier *> prependCXXBase( const CXXBaseSpecifier *CBS, llvm::ImmutableList<const CXXBaseSpecifier *> L) { - return CXXBaseListFactory.add(L, CBS); + return CXXBaseListFactory.add(CBS, L); } const PointerToMemberData *accumCXXBase(
Index: include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h =================================================================== --- include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h +++ include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h @@ -153,7 +153,7 @@ using context_type = typename data_type::Factory &; static data_type Add(data_type L, key_type K, context_type F) { - return F.add(L, K); + return F.add(K, L); } static bool Contains(data_type L, key_type K) { Index: include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h =================================================================== --- include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h +++ include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h @@ -233,7 +233,7 @@ } llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L) { - return SValListFactory.add(L, X); + return SValListFactory.add(X, L); } llvm::ImmutableList<const CXXBaseSpecifier *> getEmptyCXXBaseList() { @@ -243,7 +243,7 @@ llvm::ImmutableList<const CXXBaseSpecifier *> prependCXXBase( const CXXBaseSpecifier *CBS, llvm::ImmutableList<const CXXBaseSpecifier *> L) { - return CXXBaseListFactory.add(L, CBS); + return CXXBaseListFactory.add(CBS, L); } const PointerToMemberData *accumCXXBase(
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits