He could have used a 17 mag, but I imagine he used one of the 31 round glock mags made for the Glock 18 machine pistol.
Correct. And to which a *plus 2* accessory magazine bottom can be added, giving a total of 33 rounds, exactly the way my own Glock 17 is fitted. With two of the magazines taped end to end and side-by-side, allowing a change to the second magazine by pushing the mag catch, withdrawing the mags, a flip of the wrist and a reinsertion of the loaded mag.
Happily, the Tucson shooter didn't know that trick.