| /* |
| * NEGATIVE TEST CASE -- xdrgen must REJECT this specification. |
| * |
| * RFC 5531 encodes program, version, and procedure numbers as unsigned |
| * 32-bit integers (Section 9). This spec gives the version a number one |
| * past the 32-bit maximum, which the front end must reject. |
| * |
| * Expected diagnostic: |
| * version number 4294967296 in program 'BADPROG' exceeds 4294967295 |
| * |
| * The tests directory has no automated runner; exercise by hand: |
| * ./xdrgen definitions tests/bad-version-number-too-large.x (must fail) |
| */ |
| |
| program BADPROG { |
| version BADVERS { |
| void BADPROC_NULL(void) = 0; |
| } = 4294967296; |
| } = 100000; |
