ValueFlow: Refactor the for-loop handling. Use abstract interpretation.
Fixed #4461 (Warn about memset/memcpy on class with references as members)