On 06-May-2016 05:37, Jeremy DeHaan wrote:
On Wednesday, 4 May 2016 at 12:42:30 UTC, jmh530 wrote:
On Wednesday, 4 May 2016 at 02:50:08 UTC, Jeremy DeHaan wrote:


I'm not sure, but one would think that @safe code wouldn't need any
extra information about the union. I wouldn't know how to
differentiate between them though during runtime. Probably someone
with more experience with the compiler would know more about that
kind of thing.

You can identify safe functions with
https://dlang.org/phobos/std_traits.html#isSafe
or
https://dlang.org/phobos/std_traits.html#functionAttributes

All I meant was that I don't know enough about what the compiler does
with built in types to make this work. It almost sounds like we would
need a safe union and unsafe union type and do some extra stuff for the
unsafe union, but I'm just starting to learn about this stuff.

I'd note that a union without pointers doesn't hurt precise scanner, it's only the ones with pointers that are bad.

--
Dmitry Olshansky
  • GSoC 2016 - Precise GC Jeremy DeHaan via Digitalmars-d-announce
    • Re: GSoC 2016 - Preci... Yura Sokolov via Digitalmars-d-announce
      • Re: GSoC 2016 - P... Jeremy DeHaan via Digitalmars-d-announce
        • Re: GSoC 2016... Jack Stouffer via Digitalmars-d-announce
          • Re: GSoC ... jmh530 via Digitalmars-d-announce
          • Re: GSoC ... Jeremy DeHaan via Digitalmars-d-announce
            • Re: ... jmh530 via Digitalmars-d-announce
              • ... Jeremy DeHaan via Digitalmars-d-announce
                • ... jmh530 via Digitalmars-d-announce
                • ... Jeremy DeHaan via Digitalmars-d-announce
                • ... Dmitry Olshansky via Digitalmars-d-announce
                • ... Steven Schveighoffer via Digitalmars-d-announce
                • ... deadalnix via Digitalmars-d-announce
                • ... thedeemon via Digitalmars-d-announce
                • ... Pham via Digitalmars-d-announce
            • Re: ... Leandro Lucarella via Digitalmars-d-announce
    • Re: GSoC 2016 - Preci... Dsby via Digitalmars-d-announce

Reply via email to