Revert partially the previous commit:

The two formulas are true iff 2n = 2 <=> n = 1.
Fixed #4460: Ensure that memset/memcpy is called on a pointer to a class instance.
Fixed #4405 (False positive: Memory in freed twice (throw))