luau/Analysis/src
Lily Brown e5ec0cdff3
Sync to upstream/release/601 (#1084)
## What's changed

- `bit32.byteswap` added
([RFC](4f543ec23b/docs/function-bit32-byteswap.md))
- Buffer library implementation
([RFC](4f543ec23b/docs/type-byte-buffer.md))
- Fixed a missing `stdint.h` include
- Fixed parser limiter for recursive type annotations being kind of
weird (fixes #645)

### Native Codegen
- Fixed a pair of issues when lowering `bit32.extract`
- Fixed a narrow edge case that could result in an infinite loop without
an interruption
- Fixed a negative array out-of-bounds access issue
- Temporarily reverted linear block predecessor value propagation

### New type solver
- We now type check assignments to annotated variables
- Fixed some test cases under local type inference
- Moved `isPending` checks for type families to improve performance
- Optimized our process for testing if a free type is sufficiently
solved
- Removed "none ptr" from lea instruction disassembly logging

### Build system & tooling
- CMake configuration now validates dependencies to maintain separation
between components
- Improvements to the fuzzer coverage
- Deduplicator for fuzzed callstacks

---------

Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>
Co-authored-by: Andy Friesen <afriesen@roblox.com>
Co-authored-by: Aaron Weiss <aaronweiss@roblox.com>
Co-authored-by: Vighnesh Vijay <vvijay@roblox.com>
2023-10-27 14:18:41 -07:00
..
Anyification.cpp Sync to upstream/release/582 (#960) 2023-06-23 23:19:39 -07:00
ApplyTypeFunction.cpp Sync to upstream/release/582 (#960) 2023-06-23 23:19:39 -07:00
AstJsonEncoder.cpp Sync to upstream/release/599 (#1069) 2023-10-13 13:20:12 -07:00
AstQuery.cpp Sync to upstream/release/596 (#1050) 2023-09-22 12:12:15 -07:00
Autocomplete.cpp Sync to upstream/release/599 (#1069) 2023-10-13 13:20:12 -07:00
BuiltinDefinitions.cpp Sync to upstream/release/598 (#1063) 2023-10-06 12:02:32 -07:00
Clone.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
Constraint.cpp Sync to upstream/release/601 (#1084) 2023-10-27 14:18:41 -07:00
ConstraintGraphBuilder.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
ConstraintSolver.cpp Sync to upstream/release/601 (#1084) 2023-10-27 14:18:41 -07:00
DataFlowGraph.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
DcrLogger.cpp Sync to upstream/release/565 (#845) 2023-02-24 13:49:38 -08:00
Def.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
Differ.cpp Sync to upstream/release/595 (#1044) 2023-09-15 10:26:59 -07:00
EmbeddedBuiltinDefinitions.cpp Sync to upstream/release/601 (#1084) 2023-10-27 14:18:41 -07:00
Error.cpp Sync to upstream/release/599 (#1069) 2023-10-13 13:20:12 -07:00
Frontend.cpp Sync to upstream/release/599 (#1069) 2023-10-13 13:20:12 -07:00
GlobalTypes.cpp Sync to upstream/release/595 (#1044) 2023-09-15 10:26:59 -07:00
Instantiation.cpp Sync to upstream/release/595 (#1044) 2023-09-15 10:26:59 -07:00
IostreamHelpers.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
JsonEmitter.cpp Sync to upstream/release/543 (#657) 2022-09-01 16:14:03 -07:00
Linter.cpp Sync to upstream/release/599 (#1069) 2023-10-13 13:20:12 -07:00
LValue.cpp Sync to upstream/release/527 (#491) 2022-05-19 17:02:24 -07:00
Module.cpp Sync to upstream/release/590 (#1008) 2023-08-11 07:42:37 -07:00
NonStrictTypeChecker.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
Normalize.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
Quantify.cpp Sync to upstream/release/588 (#992) 2023-07-28 08:13:53 -07:00
Refinement.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
RequireTracer.cpp Sync to upstream/release/532 (#545) 2022-06-16 18:05:14 -07:00
Scope.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
Simplify.cpp Sync to upstream/release/591 (#1012) 2023-08-18 11:15:41 -07:00
Substitution.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
Subtyping.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
Symbol.cpp Sync to upstream/release/588 (#992) 2023-07-28 08:13:53 -07:00
ToDot.cpp Sync to upstream/release/595 (#1044) 2023-09-15 10:26:59 -07:00
TopoSortStatements.cpp Sync to upstream/release/555 (#768) 2022-12-02 10:09:59 -08:00
ToString.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
Transpiler.cpp Sync to upstream/release/593 (#1024) 2023-09-01 10:58:27 -07:00
TxnLog.cpp Sync to upstream/release/588 (#992) 2023-07-28 08:13:53 -07:00
Type.cpp Sync to upstream/release/598 (#1063) 2023-10-06 12:02:32 -07:00
TypeArena.cpp Sync to upstream/release/557 (#794) 2023-01-04 12:53:17 -08:00
TypeAttach.cpp Add support for ClassType indexer in definition files (#949) 2023-06-12 13:02:54 -07:00
TypeChecker2.cpp Sync to upstream/release/601 (#1084) 2023-10-27 14:18:41 -07:00
TypedAllocator.cpp Rename Windows.h to windows.h (#1055) 2023-10-03 06:59:44 -07:00
TypeFamily.cpp Sync to upstream/release/601 (#1084) 2023-10-27 14:18:41 -07:00
TypeInfer.cpp Support Control Flow type Refinements for "break" and "continue" statements (#1004) 2023-09-21 15:28:42 -07:00
TypeOrPack.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
TypePack.cpp Sync to upstream/release/575 (#919) 2023-05-05 14:52:49 -07:00
TypePath.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
TypeUtils.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
Unifiable.cpp Sync to upstream/release/571 (#895) 2023-04-07 14:01:29 -07:00
Unifier.cpp Sync to upstream/release/599 (#1069) 2023-10-13 13:20:12 -07:00
Unifier2.cpp Sync to upstream/release/598 (#1063) 2023-10-06 12:02:32 -07:00