------- Comment #31 from fejj at novell dot com 2010-02-01 13:08 -------
Michael:
I know that tail->value = <anything> is clearly going to evil things (if done
before assigning one of the nodes to tail) because only the first sizeof(void*)
bytes are valid memory addresses. However, if you read the code I wrote -
OBVIOUSLY it only ever assigns to those addresses. Maybe it's not obvious to
gcc (fair enough), but it should be obvious human programmers (or at least be
able to figure it out).
Pretend, instead, that I had:
typedef struct _Node {
struct _Node *next;
} Node;
Now it should be even more obvious that it should work.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42907
