Which release of Polyspace are you using?
I am asking because in later releases, the results for rules 8.x should appear with an event traceback showing the two instances that lead to the violation. If you do see the traceback, can you send a screenshot of the Result Details window? That might help us confirm that the violation is because of the two instances you are showing here.
Also, the violation does not show up in this simple reproduction:
header.h :
#define unsigned16_t unsigned short
extern unsigned16_t os_config_pwm_func_call;
file.c :
#include "header.h"
unsigned16_t os_config_pwm_func_call;
Therefore, something else might be happening here. If you cannot understand the violation in your example, please contact MathWorks Technical Support for further help with the problem.
