I found in some Arm reference software, in the file, "arch/arm/armv7-m/src/arch_exceptions.c," the following lines:
#ifdef __ARMCC_VERSION
extern char Image$$ARM_LIB_STACKHEAP$$ZI$$Limit;
# define arch_exception_stack (&Image$$ARM_LIB_STACKHEAP$$ZI$$Limit)
#else
extern char __stackheap_end__;
# define arch_exception_stack (&__stackheap_end__)
#endif
I know ## is used for string concatenation but I've never seen this double $$ sign. Not knowing what that is, I can't search for the right term.
How is this $$ used in C?