aboutsummaryrefslogtreecommitdiff
path: root/test/behavior/bugs
AgeCommit message (Collapse)Author
2022-12-10behavior: add test coverage for slice and array-related issuesr00ster91
Closes #10684 Closes #6905 Closes #8646
2022-12-10behavior: add test coverage for corrupted slice in releaser00ster91
Closes #7325
2022-12-10behavior: add test coverage for slicing zero length array field of structr00ster91
Closes #11787
2022-12-08TypedValue: fix handling of tuples represented as empty_struct_valueVeikka Tuominen
2022-12-07disable failing behavior tests with -ofmt=c -target x86_64-windowsAndrew Kelley
and enable CI checks for the C backend on Windows.
2022-12-06remove references to stage1 in behavior testsAndrew Kelley
Good riddance.
2022-12-03cbe: add forward declarations for optionals and error unionsJacob Young
Arrays will have to wait for type rewrite.
2022-12-03cbe: implement multiple exports of a symbolsJacob Young
2022-12-03cbe: don't emit extern decls that are already exportedJacob Young
2022-12-03Sema: fix comparisons between lazy and runtime valuesVeikka Tuominen
Closes #12498
2022-12-01Merge pull request #13715 from Vexu/cbeAndrew Kelley
cbe bug fixes and improvements
2022-11-30wasm: enable behavior tests for packed structsLuuk de Gram
2022-11-30AstGen: fix incorrect handling of source cursor with shift builtinsVeikka Tuominen
Closes #13714
2022-11-30cbe: ensure test and tagName function names are uniqueVeikka Tuominen
2022-11-29llvm: implement `union_init` for packed unionsVeikka Tuominen
Closes #13664
2022-11-18Sema: optimize compare comptime float with intkkHAIKE
2022-11-10Add test case for #12043Cody Tapscott
This bug is already resolved, just want to make sure we don't lose the test case. Closes #12043
2022-11-10stage2: Be more strict about eliding loadsCody Tapscott
This change makes any of the `*_val` instructions check whether it's safe to elide copies for by-ref types rather than performing this elision blindly. AIR instructions fixed: - .array_elem_val - .struct_field_val - .unwrap_errunion_payload - .try - .optional_payload These now all respect value semantics, as expected. P.S. Thanks to Andrew for the new way to approach this. Many of the lines here are from his recommended change, which comes with the significant advantage that loads are now as small as the intervening memory access allows. Co-authored by: Andrew Kelley <andrew@ziglang.org>
2022-11-10stage2: Fix comptime array initializationCody Tapscott
This is a follow-up to 9dc98fba, which made comptime initialization patterns for union/struct more robust, especially when storing to comptime-known pointers (and globals). Resolves #13063.
2022-11-04Sema: resolve lazy align in zirReify for union fieldsMicah Switzer
Closes #13435
2022-11-01cbe: support arrays in more placesJacob Young
2022-11-01cbe: fix optional accessJacob Young
2022-11-01cbe: fix threadlocalJacob Young
2022-10-30behavior: enable fixed cbe testsJacob Young
2022-10-29cbe: implement optional slice representation changeJacob Young
2022-10-27Merge pull request #13288 from Vexu/opt-sliceAndrew Kelley
Optimize size of optional slices (+ some fixes)
2022-10-27Sema: use `runtime_value` instead of creating allocsVeikka Tuominen
2022-10-27AstGen: fix `ref`ing inferred allocsVeikka Tuominen
Closes #13285
2022-10-27llvm: handle namespace like packed structsVeikka Tuominen
Closes #13159 Closes #13188
2022-10-25cbe: add support for all float literals typesJacob Young
2022-10-25cbe: implement 128-bit and fix smaller integer builtinsJacob Young
2022-10-25cbe: fix typedef declaration orderJacob Young
2022-10-25cbe: get enough things working to support basic programsJacob Young
* Enable advanced start support. * Enable advanced test_runner support. * Zig Language Reference's Hello World now works.
2022-10-25cbe: fix atomicsJacob Young
2022-10-25cbe: misc fixesJacob Young
2022-10-25cbe: implement ptr slice ptrJacob Young
2022-10-25cbe: fix global access fixJacob Young
2022-10-25cbe: fix infinite recursion on recursive typesJacob Young
2022-10-25behavior: enable stage2_c tests that are currently passingJacob Young
Also fix C warnings triggered by these tests.
2022-10-25c: hacks to fix incompatible redeclaration of library function warningsJacob Young
2022-10-21Re-factor: Change AstGen.ResultLoc to be a structCody Tapscott
This re-factor is intended to make it easier to track what kind of operator/expression consumes a result location, without overloading the ResultLoc union for this purpose. This is used in the following commit to keep track of initializer expressions of `const` variables to avoid popping error traces pre-maturely. Hopefully this will also be useful for implementing RLS temporaries in the future.
2022-10-20Sema: add missing calls to `wip_captures.finalize`Veikka Tuominen
Closes #13171
2022-10-19Sema: resolve tuple default values before hashingVeikka Tuominen
Closes #12488
2022-10-19Sema: remove unresolved inferred allocsVeikka Tuominen
Closes #2557
2022-10-19Sema: respect inline call semanticsVeikka Tuominen
If an argument is comptime-known but shouldn't be create an alloc to store it in to get a runtime-known value.
2022-10-17Sema: handle noreturn in boolBrVeikka Tuominen
Closes #13112
2022-10-15llvm: fix lowering of runtime refs to comptime-only declsJacob Young
When we want a runtime pointer to a zero-bit value we use an undef pointer, but what if we want a runtime pointer to a comptime-only value? Normally, if `T` is a comptime-only type such as `*const comptime_int`, then `*const T` would also be a comptime-only type, so anything referencing a comptime-only value is usually also comptime-only, and therefore not emitted to the executable. However, what if instead we have a `*const anyopaque` pointing to a comptime-only value? Certainly, `*const anyopaque` is a runtime type, and so we need some runtime value to store, even when it happens to be pointing to a comptime-only value. In this case we want to do the same thing as we do when pointing to a zero-bit value, so we use `hasRuntimeBits` to handle both cases instead of ignoring comptime. Closes #12025
2022-10-15llvm: fix bug lowering aggregate_init with a byref sentinelJacob Young
Closes #12972
2022-10-13stage1: Skip new tests that never passed in stage1Cody Tapscott
This gets the behavior tests passing for stage1 again.
2022-10-13Sema: add float128IntPartToBigInt to fix compare comptime float with intkkHAIKE