Fixed #4751 (CheckBufferOverrun: better handling when struct member instance doesn't have same varid as struct member declaration)
Fixed #4652 (False positive: variable value tracking into loop body)
Fixed #4618 (Unmatched suppression: don't show this information message unless --enable=information or --check-cfg is used)