Sample source file exhibiting incorrect debug info within Xcode

thread_local_lldb.c

#include <stdio.h>

// Even making the pointer volatile doesn't help
__thread int* tl_ptr;

int main(void) {
	int x = 0xDEAD;
	
	// Put a breakpoint on the following line
	tl_ptr = &x;
	// At this point, in Xcode's debugger, tl_ptr still shows up as NULL
	
	// The value printed here will not be NULL
	printf("tl_ptr = %p\n", tl_ptr);
    return 0;
}