I'm using an AT91SAM7 uC and have inherited some C code which is giving me fits. When I run this code I get a data abort error. I've tracked down the offending line of code, and it appears to be caused by something like this:
n = (UINT8) ((UINT16*)(pObject->pVar))[0];
pObject->pVar points to an instance of a structure like this:
typedef __packed struct{ UINT16 v1; UINT32 v2; UINT32 v3; UINT32 v4; UINT32 v5; }OBJTYPE; OBJTYPE xxx = {0,0,0,0,0};
When I stop the debugger on the line that causes the data abort error, I can see that pObject->pVar is pointing to 0x00200173. Is the data abort error happening because that object is not on a 32-bit boundary in memory? If so, how can I [easily] fix that? I've been going through all the online doc's reading about __packed, #pragma pack(n), adding unions to typedefs, etc.; but all the things I've been trying have not fixed the problem.
Is there an easy way (besides the __at__ attribute) to get variables like the above structure to be aligned on 32-bit boundaries?
Can anyone give me a suggestion for how to resolve this problem?
Help... Dave.
That's roughly equivalent to asking if there's an easy way to make triangular wheels roll smoothly, short of making the road a sequence of perfectly shaped arcs fitting triangular wheels of just that size.
The answer to both questions is: "Don't do that, then!". Packing structures and pointer gymnastics like those in the OP are two concepts that just don't mix, period. For the pointer voodoo to work, the standard semantics of C have to be in action. Stuff like __packed breaks that premise.
Thanks for all the suggestions.
The bottom line is that there's too much of this inherited code, and it's full of stuff like this. The problem is that the pObjEntry pointer points to many different kinds of structures, that are all part of an object dictionary for an EtherCAT slave controller. I probably could remove the typecasting to get the first structure element, because it defines the number of entries in this object's dictionary entry. However, I'd need to use typecasts for the remaining elements because they're different for different objects. I'll try your suggestions out and see if that gets me past this roadblock.
The object dictionary is "fixed" once the code has been written and built. It's not dynamic. So, another possible fix is to use a #define to build the code without, and then with the __packed attribute. I could then parse the map file to get the absolute addresses of all these objects, and then use the "at" attribute to hard code the addresses of the object dictionary elements to addresses that are aligned on 32-bit boundaries, and then change the #define to use the __packed attribute.
I know it sounds ugly, but it sounds like the easiest way to be able to use __packed and be able to use typecasts to get stuff out of all these objects at runtime.
The bottom line is that there's too much of this inherited code, and it's full of stuff like this.
So you've got yourselves wedged between a rock and a hard place. That means soft measures will no longer work. You have to bite the bullet and get into gear to fix things in earnest. Yes, that'll hurt. But you'll be better off having done it in the medium term. It's already quite amazing that this cruft ever appeared to work correctly --- but that's no excuse to leave it in that state now you've diagnosed it.
but it sounds like the easiest way to be able to use __packed and be able to use typecasts to get stuff out of all these objects at runtime.
No. The easiest way would be to remove any and all appearances of __packed from that source code. They're causing you nothing but problems the rest of the code is ill-prepared to handle, and with the method you've described you would be losing any advantages it promises anyway. So just lose __packed completely, and never look back.
View all questions in Keil forum