An A-hypergeometric system is a parametric system of PDEs arising from a toric ideal. The dimension of its solution space, called its rank, is constant for generic parameters. I will discuss the combinatorial nature of its rank at non-generic parameters.