Code

frontend: Let the analyzer report details about errors.