Compiler errors on recent changes to checkedc-clang

[dopelsunce]

The code fails to build under the compiler from the latest master branch. Most errors are caused by assignments that invalidate bounds of some variable (updating a variable used in the bounds declaration of some other variable).