alternatives before prune: Cost ( 0, 0, 0 ): constant expression 10 signed int (types: signed int ) Environment: there are 1 alternatives before elimination there are 1 alternatives after elimination alternatives before prune: Cost ( 0, 0, 2 ): Cast of: constant expression 10 signed int to: long unsigned int (types: long unsigned int ) Environment: there are 1 alternatives before elimination there are 1 alternatives after elimination int __i__i; int __i__i; int __i__i; int __i__i; int main(){ int __x__A0i[((long unsigned int )10)]; }