В языке программирования C не существует флага компиляции gcc, который бы прямо указывал на возникновение неявного приведения типов в коде и выводил его как ошибку.
Неявное приведение типов - это автоматическое преобразование значения одного типа данных в значение другого типа данных, без явного указания программистом. Оно может произойти, когда операции с типами различных размеров или форматов, а также при передаче аргументов функции, требуют приведения одного типа к другому.
В языке C неявное приведение типов является унаследованным свойством и позволяет упростить код и улучшить его читаемость. Тем не менее, это может привести к неожиданному поведению и ошибкам, особенно при работе с разными размерами данных или при использовании сложных выражений.
Если программист хочет контролировать неявное приведение типов и выявлять его как ошибку, он может воспользоваться сторонними инструментами статического анализа кода. Некоторые из них могут предоставлять предупреждения или ошибки в случае неявного приведения типов, что помогает избежать потенциальных проблем. Примерами таких инструментов могут быть Clang Static Analyzer, Coverity, PVS-Studio и другие.
Также стоит отметить, что компилятор gcc предоставляет некоторые флаги компиляции, которые помогают в обнаружении некоторых потенциальных проблем в коде, например, -Wall (включает максимальное количество предупреждений), -Wextra (включает дополнительные предупреждения), -Wconversion (предупреждает о неявном преобразовании типов, которое может привести к потере точности данных) и другие. Однако, эти флаги не могут полностью предотвратить возникновение неявного приведения типов в коде и не выводят его как ошибку. Они лишь дополняют компиляторными предупреждениями, которые помогают программисту быть внимательным и заметить потенциальные проблемы.