gdb - 打印未按预期顺序发生`

Question

我有以下 gdb 脚本：

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

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

但是，我得到的是：Tue Oct 1 15:01:58 PDT 2013 Foo

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

谢谢你，艾哈迈德。

Answer 1

对我来说，它看起来像一个 gdb 错误。我同意 printf 应该刷新它的输出流。你能把它归档到 gdb bugzilla 中吗？