Index: clang/lib/StaticAnalyzer/Core/RegionStore.cpp =================================================================== --- clang/lib/StaticAnalyzer/Core/RegionStore.cpp +++ clang/lib/StaticAnalyzer/Core/RegionStore.cpp @@ -1945,10 +1945,10 @@ const VarRegion *R) { // Check if the region has a binding. - if (Optional V = B.getDirectBinding(R)) + if (Optional V = B.getDefaultBinding(R)) return *V; - if (Optional V = B.getDefaultBinding(R)) + if (Optional V = B.getDirectBinding(R)) return *V; // Lazily derive a value for the VarRegion.