Use strict-aliasing rule for the type punning cases in which RegionStore is able to get a stored value of a constant array through a pointer of inappropriate type. Adjust RegionStoreManager::getBindingForElement to the C++20 Standard.
Example:
const int arr[42] = {1,2,3}; int x1 = ((unsigned*)arr)[0]; // OK int x2 = ((short*)arr)[0]; // UB int x3 = ((char*)arr)[0]; // OK int x4 = ((char*)arr)[1]; // UB
Maybe unwrapConstantArrayTypes()?