https://sourceware.org/bugzilla/show_bug.cgi?id=23100 --- Comment #1 from Tom Tromey <tromey at sourceware dot org> --- It should also check other constraints, like that it is a constant and that it is a positive integer. -- You are receiving this mail because: You are on the CC list for the bug.