Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:25
erlang
1803-erl_types-Stricten-integers.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 1803-erl_types-Stricten-integers.patch of Package erlang
From 8685292e190d18d49fcc766f9872d17ce356b852 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org> Date: Tue, 21 Jun 2022 15:43:28 +0200 Subject: [PATCH 03/12] erl_types: Stricten integers --- lib/dialyzer/src/erl_types.erl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/dialyzer/src/erl_types.erl b/lib/dialyzer/src/erl_types.erl index 09a54dd219..119a2e53e5 100644 --- a/lib/dialyzer/src/erl_types.erl +++ b/lib/dialyzer/src/erl_types.erl @@ -4309,6 +4309,8 @@ from_form_loop(Form, State, D, Limit, C, T0) -> %% %% It is assumed that site_module(S) can be found in MR. +from_form(_, _S, D, L, _C) when not is_integer(D); not is_integer(L) -> + error(badarg); from_form(_, _S, D, L, C) when D =< 0 ; L =< 0 -> {t_any(), L, C}; from_form({var, _Anno, '_'}, _S, _D, L, C) -> -- 2.35.3
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
