Warning from ORe stub driver

Alexander Valitov valitov79 at mail.ru
Mon Apr 27 15:48:22 CEST 2009


> I found the source of problem. It is GCC bug.
> The bug is DSE (dead storage elimination) related.
> The issue is valid for GCC 4.3.x, 4.4.x, 4.5.x.
> In 4.2.x and earlier problem does not exist. 

I was wrong. It's not GCC bug. "GCC guys" told that problem is in l4sys
Please see file:
here l4_ipc_send_tag() misses "memory" constraint in clobber list.
It definitely must have one.
Please fix it.

At the same time following file contains correct l4_ipc_send_tag()
So i guess the bug is just oversight. Anyway I think it's wise to look
through l4sys for similar errors.

Best Regards,
  Alexander Valitov

View this message in context: http://www.nabble.com/Warning-from-ORe-stub-driver-tp22827840p23256647.html
Sent from the L4 mailing list archive at Nabble.com.

More information about the l4-hackers mailing list