hi, just a quick answer on the go: you need to use shared_unref, which will gave you view of type option_v( a@l), and when c <= 1, you will be able to use opt_unsome
сб, 29 авг. 2020 г. в 08:31, Kiwamu Okabe <kiw...@debian.or.jp>: > Dear all, > > There is a security issue on FreeBSD: > > * Security Advisory: > https://www.freebsd.org/security/advisories/FreeBSD-SA-20:20.ipv6.asc > * The patch: > https://github.com/freebsd/freebsd/commit/5707de0ed806712f53752acd433313a39f63f15c > > I'm writing following ATS code to try to avoid the issue: > > > https://github.com/metasepi/postmortem/blob/master/Security-Advisory/FreeBSD-kernel/FreeBSD-SA-20:20.ipv6/Resolution/ATS2/error/main.dats > > But the code causes following error: > > ``` > $ patscc -D_GNU_SOURCE -DATS_MEMALLOC_LIBC main.dats -lpthread > .../FreeBSD-SA-20:20.ipv6/Resolution/ATS2/error/main.dats: > 2574(line=98, offs=22) -- 2764(line=105, offs=6): > error(3): the linear dynamic variable [opts$view$5659(-1)] is > preserved but with an incompatible type. > ``` > > How to assign a `shared` value onto a member of vtype? > > Best regards, > -- > Kiwamu Okabe at METASEPI DESIGN > > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to ats-lang-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAEvX6d%3DDxDQ4hNty%3DXA6t12Ge2LDuMQpv7C_wRLNsXUY_-t78w%40mail.gmail.com > . > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAHjn2Kw5NcCXiLMRo_-vpe53-zXcS3D%3Dfw6%3D-XMZegJ9et7GSA%40mail.gmail.com.
