How does a compiler understand if a number stored in a signed variable is negative or positive

Part of

Bitwise And Assembly Language Challenges