add test for #3683 (hope these tests won't become too much PITA when analyzer improves)