aboutsummaryrefslogtreecommitdiff
path: root/tests/conformance
Commit message (Expand)AuthorAgeFilesLines
* defer: any single statement (if/else, loops, switch, unchecked, unbounded), n...work/deferGravatar zinc 13 days1-0/+19
* merge work/exactsize: exact-size heap boundsGravatar zinc 13 days10-2/+113
|\
| * rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ...Gravatar zinc 13 days10-2/+113
* | merge work/xref: stale known-line check for conformance and parityGravatar zinc 13 days1-9/+16
|\ \ | |/ |/|
| * conformance and parity: a known entry that passes again is stale and fails th...Gravatar zinc 13 days1-9/+16
* | Merge branch 'main' into work/specGravatar zinc 13 days1-1/+0
|\|
| * zc0: u*x, m*x, d*x are products when u, m or d is a visible local or global (...Gravatar zinc 13 days1-1/+0
* | len: len on a char* is an error with typecheck off too (appendix b.2.14)Gravatar zinc 13 days2-3/+2
* | prototypes: parameters may be unnamed, int f(int, int*); (appendix b.2.13)Gravatar zinc 13 days2-1/+8
* | as: the type after as is read greedily in both compilers; x as int * y is a s...Gravatar zinc 13 days3-4/+8
* | lexer: a block comment that is never closed is 'unterminated comment' (append...Gravatar zinc 13 days3-3/+3
* | bool: a value stored into a bool is normalised to 0 or 1 (appendix b.2.6)Gravatar zinc 13 days3-2/+9
* | enum: a member is defined as soon as it is declared, so later values can name...Gravatar zinc 13 days2-3/+6
* | Merge branch 'main' into work/specGravatar zinc 13 days4-11/+31
|\|
| * Merge branch 'main' into work/xrefGravatar zinc 13 days4-4/+4
| |\
| | * merge bounds checkingGravatar zinc 13 days4-4/+4
| | |\
| | | * bounds checking: constant loop bound proof works, plain-op fixed-array check,...Gravatar zinc 13 days4-4/+4
| * | | zc0: integer literals as the compiler reads them (010 is 10, 0x is 0, values ...Gravatar zinc 13 days1-11/+0
| * | | zc0: x as T reads a whole type (x as int*, x as char**)Gravatar zinc 13 days1-0/+15
| * | | zc0: reject .u on a typed parameter with the compiler's messageGravatar zinc 13 days1-0/+6
| * | | zc0: string literals have no length limit (the token text grows)Gravatar zinc 13 days1-0/+10
| |/ /
* | | globals: an integer constant initializing a float or f32 global converts to f...Gravatar zinc 13 days1-0/+9
* | | Revert "zc0: read integer literals like the compiler: decimal with leading ze...Gravatar zinc 13 days1-0/+11
* | | Revert "zc0: u*x, m*x, d*x are products when u, m or d is a visible local or ...Gravatar zinc 13 days2-0/+2
* | | rt.zdiv: INT_MIN / -1 is INT_MIN and % is 0 in software division too, so zc0 ...Gravatar zinc 13 days1-2/+0
* | | zc0: u*x, m*x, d*x are products when u, m or d is a visible local or global (...Gravatar zinc 13 days2-2/+0
* | | zc0: read integer literals like the compiler: decimal with leading zeros, 0x ...Gravatar zinc 13 days1-11/+0
* | | conformance: appendix b items the spec body documents are class cGravatar zinc 13 days1-4/+4
* | | ternary: an int side and a float side convert the int on its own path only (a...Gravatar zinc 13 days2-2/+9
* | | include: written inside a function body is 'include is top level only' (appen...Gravatar zinc 13 days2-2/+1
* | | globals: a float or f32 global takes a float literal initializer (appendix b....Gravatar zinc 13 days2-2/+9
* | | fndef: a prototype after a definition in the same module keeps the definition...Gravatar zinc 13 days1-1/+0
* | | fndef: a second definition of a function in the same module is 'is defined tw...Gravatar zinc 13 days1-1/+0
* | | unary: u*x, m*x, d*x are not recasts when the tag names a global variable eitherGravatar zinc 13 days1-0/+8
* | | closures: allow 24 parameters, like functions (was 19)Gravatar zinc 13 days1-0/+6
* | | conformance: runtime index errors now end with an 'at <stdin>:N in main' trac...Gravatar zinc 13 days4-4/+4
|/ /
* | conformance: b.2.8 is documented behavior; keep the conformance run out of te...Gravatar zinc 13 days2-2/+3
* | switch: case member(): with no names matches a tagged member by tag even when...Gravatar zinc 13 days2-1/+15
* | memdebug: accept 'memdebug scrub;' (the check compared against rt.scrub); the...Gravatar zinc 13 days2-4/+2
* | return: a value returned from a void function is dropped and the function yie...Gravatar zinc 13 days1-1/+0
* | fndef: allow 24 parameters; the limit check ran after the 24th was countedGravatar zinc 13 days1-2/+0
* | casts: a cast clears the byte-string flag unless the type is bstr, so (int*)s...Gravatar zinc 13 days1-1/+0
* | unary: u*x, m*x, d*x are not recasts when the tag names a visible local (spec...Gravatar zinc 13 days1-1/+0
* | capture_scan: restore panic after the dry scan, so a bad literal in a functio...Gravatar zinc 13 days1-8/+0
|/
* conformance: port the previous agent's suite, fix six expectations, add secti...Gravatar zinc 13 days144-15/+858
* agent/spec-conformance: unmerged work from previous sessionGravatar zinc 13 days553-0/+5294