From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2039 invoked by alias); 4 Dec 2013 14:22:09 -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 2001 invoked by uid 89); 4 Dec 2013 14:22:09 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=0.3 required=5.0 tests=AWL,BAYES_50,RDNS_NONE,URIBL_BLOCKED autolearn=no version=3.3.2 X-HELO: mga02.intel.com Received: from Unknown (HELO mga02.intel.com) (134.134.136.20) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 04 Dec 2013 14:21:26 +0000 Received: from orsmga001.jf.intel.com ([10.7.209.18]) by orsmga101.jf.intel.com with ESMTP; 04 Dec 2013 06:21:18 -0800 X-ExtLoop1: 1 Received: from irvmail001.ir.intel.com ([163.33.26.43]) by orsmga001.jf.intel.com with ESMTP; 04 Dec 2013 06:21:06 -0800 Received: from ulliclel004.iul.intel.com (ulliclel004.iul.intel.com [172.28.50.125]) by irvmail001.ir.intel.com (8.14.3/8.13.6/MailSET/Hub) with ESMTP id rB4EL5pq021500; Wed, 4 Dec 2013 14:21:05 GMT Received: from ulliclel004.iul.intel.com (ulliclel004.iul.intel.com [127.0.0.1]) by ulliclel004.iul.intel.com (8.13.8/8.12.8/MailSET/client) with ESMTP id rB4EL4Yn016972; Wed, 4 Dec 2013 15:21:04 +0100 Received: (from sagovic@localhost) by ulliclel004.iul.intel.com (8.13.8/8.13.1/Submit) id rB4EKwEU016968; Wed, 4 Dec 2013 15:20:58 +0100 From: Sanimir Agovic To: tromey@redhat.com, palves@redhat.com, xdje42@gmail.com Cc: gdb-patches@sourceware.org, keven.boell@intel.com Subject: [PATCH v3 11/13] test: evaluate pointers to C99 vla correctly. Date: Wed, 04 Dec 2013 14:22:00 -0000 Message-Id: <1386166785-28037-13-git-send-email-sanimir.agovic@intel.com> In-Reply-To: <1386166785-28037-1-git-send-email-sanimir.agovic@intel.com> References: <1386166785-28037-1-git-send-email-sanimir.agovic@intel.com> X-IsSubscribed: yes X-SW-Source: 2013-12/txt/msg00135.txt.bz2 2013-10-18 Keven Boell 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. Change-Id: Iea007544b3e95f9da4ca746d142e7be0350cf87b 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.3.1