Компилятор с++ проверяет результат деления?

Что значит проверяет результат деления? Это значит что если дать ему пример 8/2 то прежде чем вернуть 4, он умножит 4 на 2 и если будет 8 то он вернёт 4. Нет, ведь у процессора шанс ошибиться очень мал, да и такая проверка будет тратить больше ресурсов, так что её нету. Нету ведь? Я стал сомневаться в этом когда дал ему пример с делением на ноль. Что такое деление? Деление это количество В в А. Например А/В где А = 6 а В = 2. Решение следующее: найти количество В(2) в А(6) то есть найти сколько двоек в шестёрке. В примере деления на ноль вот такая ситуация: например 6/0. В шестёрке нужно найти количество нулей. Но ведь в шестёрке нет нулей. А вот компилятор думает по иному: компилятор показывает какое то странное отрицательное число в знак того, что ответ неопределенный. Но как он определил что ответ не определен? Разделив 6/0 он должен вернуть 0 так как в шестёрке нету нулей, но так как он вернул неопределенный ответ, значит он проверил ответ умножением 0 на 0 не получив 6 и вернув не определенный ответ