+# Copyright 2016 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+
+# Test that gdb does not process input while a (synchronous) infcall
+# is in progress.
+
+standard_testfile
+
+if [target_info exists gdb,cannot_call_functions] {
+ unsupported "can not call functions"
+ continue
+}
+
+if {[prepare_for_testing $testfile.exp $testfile $srcfile debug]} {
+ untested "compile failed"
+ return -1
+}
+
+if ![runto_main] then {
+ fail "Couldn't run to main"
+ return -1
+}
+
+# Run an infcall that takes a little bit to complete.
+send_gdb "print some_function()\n"
+
+# Send another command while the infcall is ongoing. It must only be
+# processed after the infcall finishes.
+send_gdb "next\n"
+
+set test "print some_function()"
+gdb_test_multiple "" $test {
+ -re " = 1\r\n$gdb_prompt " {
+ pass $test
+ }
+}
+
+set test "next"
+gdb_test_multiple "" $test {
+ -re "return 0;\r\n$gdb_prompt " {
+ pass $test
+ }
+}