[Bug python/11797] New: create a gdb.Type from a string "char[10]"

["andre dot poenitz at nokia dot com" <sourceware-bugzilla at sourceware dot org>]

There seems no way to create a gdb.Type from a string "char[10]".

For non-arrays, gdb.lookup_type works:

   str(gdb.lookup_type('char')) == 'char'

but for arrays I get

   gdb.lookup_type('char[10]') 

   -> RuntimeError: No type named char[10].

-- 
           Summary: create a gdb.Type from a string "char[10]"
           Product: gdb
           Version: 7.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: python
        AssignedTo: unassigned at sourceware dot org
        ReportedBy: andre dot poenitz at nokia dot com
                CC: gdb-prs at sourceware dot org
 GCC build triplet: i486-linux-gnu
  GCC host triplet: i486-linux-gnu
GCC target triplet: i486-linux-gnu


http://sourceware.org/bugzilla/show_bug.cgi?id=11797

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.