打印不按预期顺序发生

Question

我有以下gdb脚本：

define test1
printf " Foo "
!date
printf "\n"
end

我预计输出为：     Foo Tue Oct 1 15:01:58 PDT 2013

然而，我得到的是：     2013年10月1日星期二15:01:58 PDT      富

我觉得我需要以某种方式“冲洗”印刷品。有人可以帮我理解这里发生了什么。为什么输出反转。

谢谢你， 艾哈迈德。

Answer 1

对我来说，这看起来像是一个gdb错误。我同意printf应该刷新其输出流。你可以在gdb bugzilla中提交这个吗？