diff options
author | John Högberg <[email protected]> | 2019-02-21 13:07:00 +0100 |
---|---|---|
committer | John Högberg <[email protected]> | 2019-02-21 13:07:00 +0100 |
commit | 388fe9d0ef5d2ccae6a9c07da2d36ac568dd250f (patch) | |
tree | 84cee5772b274d72a9644231dbe59410de92cac1 /lib/tools/test/tools.spec | |
parent | 1ebe4074d58068b8187bbe713a76875a406ddda9 (diff) | |
parent | 453abf89a561e531c6bd2c67e5dd442cf62689b9 (diff) | |
download | otp-388fe9d0ef5d2ccae6a9c07da2d36ac568dd250f.tar.gz otp-388fe9d0ef5d2ccae6a9c07da2d36ac568dd250f.tar.bz2 otp-388fe9d0ef5d2ccae6a9c07da2d36ac568dd250f.zip |
Merge branch 'john/compiler/more-validator-cuddling'
* john/compiler/more-validator-cuddling:
beam_validator: Refactor call argument validation
beam_validator: Refactor liveness/stack initialization checks
beam_validator: Refactor try/catch handling
beam_validator: Remember definitions on assignment
beam_validator: Refactor stack trimming
beam_validator: Track definitions of all terms
beam_validator: Remove special handling of map_get/is_map_key
beam_validator: Refactor select_tuple_arity
beam_validator: Treat select_val as a series of '=:='
beam_validator: Treat all bs_get instructions as extractions
beam_validator: Separate BIF/call types more clearly
beam_validator: Assert that no tuple elements are out of bounds
beam_validator: Get rid of the last uses of set_aliased_type
beam_validator: Minor cosmetic refactoring
Diffstat (limited to 'lib/tools/test/tools.spec')
0 files changed, 0 insertions, 0 deletions