Using a 'warning' to report first-time assigments in conditional branches in non-safe cases