From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26959 invoked by alias); 6 Feb 2014 16:28:05 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Received: (qmail 26850 invoked by uid 89); 6 Feb 2014 16:28:05 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-1.8 required=5.0 tests=AWL,BAYES_00,RP_MATCHES_RCVD autolearn=ham version=3.3.2 X-HELO: mga01.intel.com Received: from mga01.intel.com (HELO mga01.intel.com) (192.55.52.88) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 06 Feb 2014 16:28:03 +0000 Received: from fmsmga002.fm.intel.com ([10.253.24.26]) by fmsmga101.fm.intel.com with ESMTP; 06 Feb 2014 08:28:02 -0800 X-ExtLoop1: 1 Received: from irvmail001.ir.intel.com ([163.33.26.43]) by fmsmga002.fm.intel.com with ESMTP; 06 Feb 2014 08:27:54 -0800 Received: from ullecvh004g04.iul.intel.com (ullecvh004g04.iul.intel.com [172.28.50.210]) by irvmail001.ir.intel.com (8.14.3/8.13.6/MailSET/Hub) with ESMTP id s16GRsM4031115; Thu, 6 Feb 2014 16:27:54 GMT Received: from ullecvh004g04.iul.intel.com (ullecvh004g04.iul.intel.com [127.0.0.1]) by ullecvh004g04.iul.intel.com (8.13.8/8.13.8) with ESMTP id s16GRrjC025346; Thu, 6 Feb 2014 17:27:53 +0100 Received: (from sagovic@localhost) by ullecvh004g04.iul.intel.com (8.13.8/8.13.8/Submit) id s16GRrm4025345; Thu, 6 Feb 2014 17:27:53 +0100 From: Sanimir Agovic To: tromey@redhat.com, brobecker@adacore.com Cc: keven.boell@intel.com, gdb-patches@sourceware.org Subject: [PATCH v5 13/15] test: evaluate pointers to C99 vla correctly. Date: Thu, 06 Feb 2014 16:28:00 -0000 Message-Id: <1391704056-25246-14-git-send-email-sanimir.agovic@intel.com> In-Reply-To: <1391704056-25246-1-git-send-email-sanimir.agovic@intel.com> References: <1391704056-25246-1-git-send-email-sanimir.agovic@intel.com> X-IsSubscribed: yes X-SW-Source: 2014-02/txt/msg00106.txt.bz2 2013-10-18 Keven Boell Sanimir Agovic gdb/testsuite: * gdb.base/vla-ptr.c: New. Test source file for testing pointers to VLA's in C. * gdb.base/vla-ptr.exp: New. Tests ensure that the evaluation of pointers to VLA's work correctly in C. Signed-off-by: Sanimir Agovic --- gdb/testsuite/gdb.base/vla-ptr.c | 63 ++++++++++++++++++++++++++++++++++++++ gdb/testsuite/gdb.base/vla-ptr.exp | 52 +++++++++++++++++++++++++++++++ 2 files changed, 115 insertions(+) create mode 100644 gdb/testsuite/gdb.base/vla-ptr.c create mode 100644 gdb/testsuite/gdb.base/vla-ptr.exp diff --git a/gdb/testsuite/gdb.base/vla-ptr.c b/gdb/testsuite/gdb.base/vla-ptr.c new file mode 100644 index 0000000..85c41e0 --- /dev/null +++ b/gdb/testsuite/gdb.base/vla-ptr.c @@ -0,0 +1,63 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2013 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 . */ + +#define SIZE 5 + +void +foo (int n, int vla_ptr[n]) +{ + return; /* foo_bp */ +} + +void +bar (int *vla_ptr) +{ + return; /* bar_bp */ +} + +void +vla_func (int n) +{ + int vla[n]; + int (*vla_ptr)[n]; + typedef int typedef_vla[n]; + typedef_vla td_vla; + int i; + + for (i = 0; i < n; i++) + { + vla[i] = 2+i; + td_vla[i] = 4+i; + } + + foo(n, vla); + bar(vla); + + vla_ptr = &vla; + + typedef_vla *td_ptr = &td_vla; /* vla_ptr_assigned */ + + return; /* typedef_ptr_assigned */ +} + +int +main () +{ + vla_func(SIZE); + + return 0; +} diff --git a/gdb/testsuite/gdb.base/vla-ptr.exp b/gdb/testsuite/gdb.base/vla-ptr.exp new file mode 100644 index 0000000..a7785b0 --- /dev/null +++ b/gdb/testsuite/gdb.base/vla-ptr.exp @@ -0,0 +1,52 @@ +# Copyright 2013 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 . + +standard_testfile ".c" + +if { [prepare_for_testing ${testfile}.exp ${testfile} ${srcfile}] } { + return -1 +} + +if ![runto_main] { + return -1 +} + +set sizeof_int [get_sizeof "int" 4] + +# Check that VLA passed to function (pointer) points to the first element. +gdb_breakpoint [gdb_get_line_number "foo_bp"] +gdb_continue_to_breakpoint "foo_bp" +gdb_test "print vla_ptr" "\\\(int \\\*\\\) $hex" "print vla_ptr (foo)" +gdb_test "print *vla_ptr" "\\$\\d+ = 2" "print *vla_ptr (foo)" + +gdb_breakpoint [gdb_get_line_number "bar_bp"] +gdb_continue_to_breakpoint "bar_bp" +gdb_test "print vla_ptr" "\\\(int \\\*\\\) $hex" "print vla_ptr (bar)" +gdb_test "print *vla_ptr" "\\$\\d+ = 2" "print *vla_ptr (bar)" + +gdb_breakpoint [gdb_get_line_number "vla_ptr_assigned"] +gdb_continue_to_breakpoint "vla_ptr_assigned" +gdb_test "print *vla_ptr" "\\$\\d+ = \\\{2, 3, 4, 5, 6\\\}" \ + "print *vla_ptr (vla_func)" + +# Calculate the overall size of the vla. +set sizeof_vla [ expr "5" * "$sizeof_int" ] +gdb_test "print sizeof(*vla_ptr)" "\\$\\d+ = ${sizeof_vla}" \ + "print sizeof(*vla_ptr) (vla_func)" + +gdb_breakpoint [gdb_get_line_number "typedef_ptr_assigned"] +gdb_continue_to_breakpoint "typedef_ptr_assigned" +gdb_test "print td_vla" "\\$\\d+ = \\\{4, 5, 6, 7, 8\\\}" "print td_vla" +gdb_test "print *td_ptr" "\\$\\d+ = \\\{4, 5, 6, 7, 8\\\}" "print *td_ptr" -- 1.8.4.2