topic Re: 'unsigned int' can't convert to 'ADC_Type *' pointer in S32 Design Studio

'unsigned int' can't convert to 'ADC_Type *' pointer

daich — Thu, 25 Feb 2021 08:38:38 GMT

I am using S32K144,and the driver have below code:

#define ADC0_BASE (0x4003B000u)

/** Peripheral ADC0 base pointer */

#define ADC0 ((ADC_Type *)ADC0_BASE)

but when i use parasoft to check MISRA C 2012, it post "'unsigned int' can't convert to 'ADC_Type *' pointer" ,so how to solve this problem?

thank you very much!

Re: 'unsigned int' can't convert to 'ADC_Type *' pointer

jiri_kral — Thu, 04 Mar 2021 10:51:08 GMT

Hi,

I'm not familiar with MISRA rules, but I think that definition of address as a macro and casting pointer to different type by this way is against MISRA rules. You can try to define ADC as a pointer and assign the address in it. Something like

unsigned int adc0*;

adc0=0x4003B000;

Jiri