23.0-coverity-GeneratorFilters
Relates to the MR !62433 (merged), one bug was left over from that. While here, cleared up two other defects: possible negative index to an array, push_back dereferencing a nullptr.
Relates to the MR !62433 (merged), one bug was left over from that. While here, cleared up two other defects: possible negative index to an array, push_back dereferencing a nullptr.