dwarf - dwarf/dwarf2 は、固定サイズの配列を受け入れる関数のサイズ情報の取得を容易にしますか?

Question

次の関数定義を含む C モジュールを想定します。

void foo(int (*a)[6]){...}

ソースファイルをgcc -gでコンパイルした際に得られるdwarf情報(結果の.o-fileに埋め込まれている)から、パラメータ'a'の実配列サイズ情報'6'を抽出することは可能でしょうか?

オブジェクト ファイルに 'readelf -wi' を適用して dwarf 情報を取得しましたが、固定配列サイズを導出するための情報が見つかりません。