The Type Promotion Trap: C's Silent Integer Conversion Bugs

How implicit type promotion rules turn correct-looking comparisons into logic errors in C