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 @@ -358,6 +358,9 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[
358358 (" __inet_pton_chk" , unknown [drop " af" []; drop " src" [r]; drop " dst" [w]; drop " os" []]);
359359 (" __inet_pton_chk_warn" , unknown [drop " af" []; drop " src" [r]; drop " dst" [w]; drop " os" []]);
360360 (" inet_ntop" , unknown [drop " af" []; drop " src" [r]; drop " dst" [w]; drop " size" []]);
361+ (" __inet_ntop_alias" , unknown [drop " af" []; drop " src" [r]; drop " dst" [w]; drop " size" []]);
362+ (" __inet_ntop_chk" , unknown [drop " af" []; drop " src" [r]; drop " dst" [w]; drop " size" []; drop " os" []]);
363+ (" __inet_ntop_chk_warn" , unknown [drop " af" []; drop " src" [r]; drop " dst" [w]; drop " size" []; drop " os" []]);
361364 (" gethostent" , unknown ~attrs: [ThreadUnsafe ] [] );
362365 (" poll" , unknown [drop " fds" [r]; drop " nfds" []; drop " timeout" []]);
363366 (" semget" , unknown [drop " key" []; drop " nsems" []; drop " semflg" []]);
You can’t perform that action at this time.
0 commit comments