Implement partial fix for 3882
Issue 3882: Warn about void-returning case in non-debug mode (no asserts can cause side effects)
Handle case when ce->f is null