> Давайте сразу перейдём от никуда не годного к более правильному решению

Цель: демонстрационный пример кода, содержащего ошибки. Какое "более правильное решение" ты мне предлагаешь?

> "а" может быть 0, делить на 0 нельзя
> уравнение не будет квадратным, решение по приведённой функции бессмысленно

А функции как-то всё равно бессмысленно или осмысленно :). Будет ERROR.
Кстати, здесь была первая намерено допущенная "ошибка": нужно не "/2*а", а "/(2*а)". Её заметили, это хорошо, не всё ещё забыли квадратные уравнения.

> "х1" и "х2" могут быть NULL или ссылаться на недоступную память.
> Це-проблемы?

"Программа обратилась к недопустимой памяти и будет закрыта". Ничего не напоминает?
Здесь была вторая намерено допущенная "ошибка": "x1=..." - это присвоение указателю, чтобы обратиться по значению, указатель нужно разименовать. Я специально оставил ошибки чтобы показать что даже внешне корректно написанный код может содержать ошибки.

> > 3. "а", "b" и "с" могут быть подобраны так, что операции над
> ними превысят предел точности double.
> Для вычислений, требующих точного результата, не используйте типы float и double. Правильный путь решения вычислительной задачи заключается в применении для расчётов типов BigDecimal, int или long © Джошуа Блох.

Глупость написал. Ещё раз: значения могут быть подобраны так, что превысят предел точности типа данных. Неограниченных типов данных не бывает. К тому же, приведённые тобой типы целочисленные, а задача требует вычислений с плавающей точкой.