aboutsummaryrefslogtreecommitdiff
path: root/tests/conformance
Commit message (Expand)AuthorAgeFilesLines
* prescan: guess an owned return only from a local declared from new/heap, not ...Gravatar zinc 12 days1-0/+7
* tests: alias_scope expects the block-end message; plain_return now covers a f...Gravatar zinc 12 days1-0/+8
* analyzer: a .u (declared or inferred) function can't return a borrowed parame...Gravatar zinc 12 days4-0/+36
* std.Io.print/println take any mix of printable arguments (compiler expands pe...Gravatar zinc 12 days2-0/+20
* analyzer: a back link (container's owner stored into it) stays a plain refere...Gravatar zinc 12 days9-0/+68
* analyzer: infer .u from returns of fresh objects in the body (prescan guess, ...Gravatar zinc 12 days2-0/+28
* analyzer: an outer owner moved into a deeper container can take it back (loop...Gravatar zinc 12 days6-0/+94
* rt: gc_drops finalizes a droppable value that reaches itself (a cycle, or a d...Gravatar zinc 13 days2-0/+30
* o3: an o3 function called from normal code as a receiver method (run.method) ...Gravatar zinc 13 days1-0/+13
* o3: break and continue out of an o3 { } block call rt.o3_leave for each block...Gravatar zinc 13 days1-0/+28
* rt: memreport marks a leaked value whose drop never ran with (drop); spec 4.1...Gravatar zinc 13 days1-0/+15
* destructors: nothing moves out of a value with a drop: pop on an array with a...Gravatar zinc 13 days4-0/+48
* destructors: reassigning an m owner that still holds a value frees the old va...Gravatar zinc 13 days3-2/+32
* destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop method...Gravatar zinc 13 days14-0/+217
* conformance: defer block form without a trailing semicolon, several statement...Gravatar zinc 13 days1-0/+23
* defer: any single statement (if/else, loops, switch, unchecked, unbounded), n...Gravatar 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