summaryrefslogtreecommitdiff
path: root/lib/compiler/src/beam_validator.erl
Commit message (Expand)AuthorAgeFilesLines
...
* | | Merge branch 'maint'John Högberg2021-01-281-98/+47
|\ \ \ | |/ / |/| / | |/
| * beam_validator: Ignore 'fcheckerror' / 'fclearerror'John Högberg2021-01-261-96/+46
* | compiler: Optimize 'receive' across function callsJohn Högberg2021-01-221-89/+67
* | compiler: Remove cerl_sets usageWojtek Mach2021-01-141-17/+17
* | Merge branch 'maint'John Högberg2020-12-031-22/+19
|\ \ | |/
| * Merge branch 'john/compiler/update-container-types/OTP-17039/ERL-1426' into j...John Högberg2020-12-021-22/+19
| |\
| | * beam_validator: Update containers when extracted values changeJohn Högberg2020-12-021-4/+18
| | * beam_validator: Improve type inference for '=/='John Högberg2020-03-311-9/+25
* | | beam_validator: Don't fail validation on empty bs_get_xyzJohn Högberg2020-11-251-17/+26
* | | beam_validator: Remove dead matchingJohn Högberg2020-11-241-4/+4
* | | Optimize initialization of Y registers for the JITBjörn Gustavsson2020-10-121-0/+9
* | | Merge branch 'sverker/make_fun3/OTP-16712'Sverker Eriksson2020-10-071-1/+25
|\ \ \
| * | | compiler,erts: Add new make_fun3 instructionSverker Eriksson2020-10-071-1/+25
* | | | Merge pull request #2779 from jhogberg/john/compiler/optimize-catches/OTP-16334John Högberg2020-10-061-7/+16
|\ \ \ \ | |_|/ / |/| | |
| * | | beam_ssa_type: Infer exception variable types (Class:Reason:Stack)John Högberg2020-10-051-7/+16
| |/ /
* | | beam_validator: Fix regression introduced in 3641ec5John Högberg2020-09-281-2/+6
|/ /
* | beam_validator: Fix regression introduced in 5474277e858138d1dc853John Högberg2020-09-151-6/+8
* | beam_validator: Track the unit of saved bs match positionsJohn Högberg2020-09-111-52/+183
* | Teach beam_validator that bs_init_writable can't raise an exceptionBjörn Gustavsson2020-03-211-0/+2
* | Teach beam_validator that make_fun2 can't raise an exceptionBjörn Gustavsson2020-03-211-6/+2
* | beam_validator: Simplify func_info/prologue validationJohn Högberg2020-03-171-76/+67
* | beam_validator: Split validation into a stronger and a weaker passJohn Högberg2020-03-171-52/+90
* | beam_ssa_codegen: Fix generation of bs_match_stringJohn Högberg2020-03-171-2/+1
* | Merge pull request #2564 from jhogberg/john/compiler/validator-cuddlingJohn Högberg2020-03-161-564/+614
|\ \
| * | beam_validator: Stop distinguishing between "safe" and "throwing"John Högberg2020-03-161-491/+509
| * | beam_validator: Validate label on 'wait' instructionsJohn Högberg2020-03-131-6/+8
| * | beam_validator: Make all exceptions explicitJohn Högberg2020-03-131-140/+170
* | | Merge branch 'maint'Rickard Green2020-03-131-1/+1
|\ \ \ | |/ / |/| / | |/
| * Update copyright yearRickard Green2020-03-131-1/+1
| * beam_validator: Add missing return type for is_map_key/2John Högberg2020-02-051-0/+1
* | beam_validator: Make {f,0} seem less magicalJohn Högberg2020-03-121-5/+4
* | beam_validator: Float exceptions must be checked on returnJohn Högberg2020-03-121-0/+1
* | Merge branch 'bjorn/compiler/misc'Björn Gustavsson2020-03-051-147/+136
|\ \
| * | beam_validator: Ignore unreachable catch blocksJohn Högberg2020-03-051-68/+55
| * | beam_validator: Refactor BIF validationJohn Högberg2020-03-041-77/+79
| * | v3_kernel: Protect against bad binary sizes and valuesBjörn Gustavsson2020-03-041-2/+2
* | | beam_validator: Raise an error on invalid register useJohn Högberg2020-03-041-2/+6
* | | beam_validator: Replace gb_sets/gb_trees with mapsJohn Högberg2020-03-041-50/+47
|/ /
* | beam_validator: swap/2 is allowed in set_tuple_element chainsJohn Högberg2020-02-061-0/+2
* | Merge branch 'john/compiler/beam_validator-fix-label-fallthrough'John Högberg2020-01-201-30/+24
|\ \
| * | beam_validator: Clean up minor cruftJohn Högberg2020-01-201-6/+4
| * | beam_validator: Fix misclassification of call_funJohn Högberg2020-01-171-11/+11
| * | beam_validator: Fix state merging for label fall-throughJohn Högberg2020-01-171-13/+9
* | | Merge branch 'maint'John Högberg2020-01-171-3/+2
|\ \ \ | |/ / |/| / | |/
| * beam_validator: Fix misclassification of put_map_exactJohn Högberg2020-01-161-2/+2
| * beam_validator: Move safe instructions to the right validation stepJohn Högberg2020-01-131-149/+154
* | beam_validator: Give the main validation functions better namesJohn Högberg2020-01-141-292/+314
* | compiler: Make map types more preciseJohn Högberg2019-11-281-7/+37
* | compiler: Exact tuples may be singletonsJohn Högberg2019-11-271-4/+2
* | compiler: Keep track of 'fun' return typesJohn Högberg2019-11-211-10/+21
View Lorry Controller Status