Follow-up to #4586. In addition to past bug fixes, we can add examples from past static analysis issue fixes.
