Buffer overrun: removed some old code that is not based on valueflow