summaryrefslogtreecommitdiff
path: root/lib/compiler/src/beam_validator.erl
Commit message (Expand)AuthorAgeFilesLines
* beam_validator: Ignore 'fcheckerror' / 'fclearerror'John Högberg2021-01-261-96/+46
* 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: 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
* | beam_types: Improve type subtraction and fix related bugsJohn Högberg2019-11-211-3/+12
* | compiler: Add typed listsJohn Högberg2019-11-211-13/+28
* | Merge branch 'john/merge-fix-recv-opt/OTP-16219/maint' into john/merge-fix-re...John Högberg2019-10-301-28/+128
|\ \ | |/
| * beam_validator: Verify that receive markers aren't leaked on returnJohn Högberg2019-10-301-29/+133
* | compiler: Make float literals expressible as singleton typesJohn Högberg2019-10-231-9/+10
* | compiler: Explicitly resume known match contextsJohn Högberg2019-10-231-0/+7
* | compiler: Refactor binary match context unit optimizationJohn Högberg2019-10-231-109/+150
* | compiler: Limit tuple element type information to first 12 elementsJohn Högberg2019-10-071-6/+6
* | beam_validator: Eliminate the use of the sets moduleBjörn Gustavsson2019-09-251-1/+1
* | compiler: Honor stack frames when calling exit BIFsJohn Högberg2019-09-091-155/+186
* | Merge branch 'john/compiler/validator-improve-try_case-handling'John Högberg2019-08-071-38/+69
|\ \
View Lorry Controller Status