After some back and forth discussion on gcc-help, it is suggested this is a bug in gcc and I'm asked to open a bug report.
Here is the bug report for reference: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86827 Wei. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
