While analyzing an Ada codebase with CodePeer, the tool is reporting that "array index check might fail" at a line that does this: Param(Param'First) := .... Param is a passed-in out parameter - and ...

I am reviewing some ada code and I keep seeing the following code throughout the project. if(variable'Length /= variable'length) return; end if Codepeer flags this as always false which makes ...