diff options
| author | John Högberg <[email protected]> | 2019-02-08 15:15:54 +0100 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2019-02-18 11:29:06 +0100 |
| commit | 6ae2fa3f49e7f4a3cd228dce072065bdc516d62a (patch) | |
| tree | e8fa003b4b199633bdb56726c25d23712a7b8eee /lib/compiler/src/beam_clean.erl | |
| parent | 0610566c58fdebb8f2fa2ffe5196278fc6052d10 (diff) | |
| download | otp-6ae2fa3f49e7f4a3cd228dce072065bdc516d62a.tar.gz otp-6ae2fa3f49e7f4a3cd228dce072065bdc516d62a.tar.bz2 otp-6ae2fa3f49e7f4a3cd228dce072065bdc516d62a.zip | |
beam_validator: Infer BIF argument types
If we know that a BIF will badarg unless its arguments have certain
types, we can infer that we have at least those types on success.
Note that we can't do this in the general case as the BIF could
fail for reasons other than bad arguments.
Diffstat (limited to 'lib/compiler/src/beam_clean.erl')
0 files changed, 0 insertions, 0 deletions