Welcome to Software Development on Codidact!
Will you help us build our independent community of developers helping developers? We're small and trying to grow. We welcome questions about all aspects of software development, from design to code to QA and more. Got questions? Got answers? Got code you'd like someone to review? Please join us.
Post History
Yes, it is guaranteed to evaluate to true. All variables with static storage duration are set to zero in case of arithmetic types or set to null in case they are pointers. The relevant part is C17 ...
Answer
#1: Initial revision
by
Lundin
·
2022-02-10T15:39:49Z (about 2 years ago)
Yes, it is guaranteed to evaluate to true. All variables with _static storage duration_ are set to zero in case of arithmetic types or set to null in case they are pointers. The relevant part is C17 6.7.9/10: > If an object that has automatic storage duration is not initialized explicitly, its value is indeterminate. If an object that has static or thread storage duration is not initialized explicitly, then: > - if it has pointer type, it is initialized to a null pointer; > - if it has arithmetic type, it is initialized to (positive or unsigned) zero; > - if it is an aggregate, every member is initialized (recursively) according to these rules, and any padding is initialized to zero bits; > - if it is a union, the first named member is initialized (recursively) according to these rules, and any padding is initialized to zero bits; --- To clarify `NULL` vs null pointers: - `NULL` is a macro guaranteed to be a _null pointer constant_. It can only be `0` or `(void*)0`. The binary representation of this macro is very likely all zeroes. - The `NULL` macro is not to be confused with a _null pointer_ which is any pointer variable which has been assigned a null pointer constant. When such assignment happens, the pointer becomes a _null pointer_. This null pointer may in theory have an exotic, implementation-defined representation.