всяких уравнений и может возникать мат ошибки в расчетах, которые компилятор не видет и выбрасывает мусор, например, деление на ноль. как можно вылавливать такое в программе, чтобы при возникновении ошибки, например, компилятор завершал команду или просто видеть где они возникают?
1) Я не понял - речь об интерпретации или о компиляции программы идёт? 2) Есть статические анализатора кода, но именно на математику они не особо заточены
https://ru.wikipedia.org/wiki/Coq вот этот всё увидит, если ты конечно сможешь с ним совладать, но он не компилятор С++
Он и так завершит программу, так что о чем ты?
https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html#available-checks многие арифметические ошибки UBSan-ом отлавливаются (в runtime естественно).
Обсуждают сегодня