diff options
| -rw-r--r-- | clang/lib/Analysis/RegionStore.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp index cc7715a98a0..d512703c8d7 100644 --- a/clang/lib/Analysis/RegionStore.cpp +++ b/clang/lib/Analysis/RegionStore.cpp @@ -289,7 +289,7 @@ SVal RegionStoreManager::getSizeInElements(const GRState* St, FR = 0; return UnknownVal(); } - printf("kidn = %d\n", R->getKind()); + assert(0 && "Other regions are not supported yet."); } |
