forked from OSchip/llvm-project
parent
4d45b34a8a
commit
4c8bf0086a
|
@ -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.");
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue