semantic errors and warnings