[Eva] Adds a test for -split-return when -warn-copy-indeterminate is disabled.

In this case, -eva-split-return must not remove states in which the result
is an uninitialized variable or a dangling pointer.