На етапі семантичного аналізу з’являється помилка такого типу. Ці типи помилок виявляються під час компіляції.

Більшість помилок під час компіляції - це помилка обсягу та оголошення. Наприклад: неоголошені або кілька оголошених ідентифікаторів. Невідповідність типу — ще одна помилка під час компіляції.

Семантична помилка може виникнути через використання неправильної змінної або використання неправильного оператора або виконання операції в неправильному порядку.

Деякі семантичні помилки можуть бути:

• Несумісні типи операндів
• Неоголошена змінна
• Невідповідність фактичного аргументу формальному аргументу

приклад 1: Використання неініціалізованої змінної:

 int i; void f (int m) { m=t; } 

У цьому коді t не оголошено, тому він показує семантичну помилку.

приклад 2: Тип несумісності:

 int a = 'hello'; // the types String and int are not compatible 

приклад 3: Помилки у виразах:

 String s = '...'; int a = 5 - s; // the - operator does not support arguments of type String