search for: areglobalspotentiallyequ

I'm working on an AA implementation, and I'm using abstract blocks to model the memory used to store the values of program variables. To be sound my analysis must ensure that all program objects which *might possibly* occupy the same chunk of runtime memory are modeled with the same abstract memory block. I'm trying to understand if "external" linkage is a problem for me.

I was trying to build the Linux kernel with clang and observed a crash due to incorrect loop optimization: drivers/base/firmware_class.c extern struct builtin_fw __start_builtin_fw[]; extern struct builtin_fw __end_builtin_fw[]; static bool fw_get_builtin_firmware(struct firmware *fw, const char *name) { struct builtin_fw *b_fw; for (b_fw = __start_builtin_fw; b_fw != __end_builtin_fw;