File tree Expand file tree Collapse file tree 1 file changed +3
-0
lines changed
Expand file tree Collapse file tree 1 file changed +3
-0
lines changed Original file line number Diff line number Diff line change @@ -354,6 +354,9 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[
354354 (" pclose" , unknown [drop " stream" [w; f]]);
355355 (" getcwd" , unknown [drop " buf" [w]; drop " size" []]);
356356 (" inet_pton" , unknown [drop " af" []; drop " src" [r]; drop " dst" [w]]);
357+ (" __inet_pton_alias" , unknown [drop " af" []; drop " src" [r]; drop " dst" [w]]);
358+ (" __inet_pton_chk" , unknown [drop " af" []; drop " src" [r]; drop " dst" [w]; drop " os" []]);
359+ (" __inet_pton_chk_warn" , unknown [drop " af" []; drop " src" [r]; drop " dst" [w]; drop " os" []]);
357360 (" inet_ntop" , unknown [drop " af" []; drop " src" [r]; drop " dst" [w]; drop " size" []]);
358361 (" gethostent" , unknown ~attrs: [ThreadUnsafe ] [] );
359362 (" poll" , unknown [drop " fds" [r]; drop " nfds" []; drop " timeout" []]);
You can’t perform that action at this time.
0 commit comments