[Issue 3407] [tdpl] Compiling with -safe -release must keep all bound checks

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=3407



--- Comment #7 from Andrei Alexandrescu <andrei at metalanguage.com> 2009-10-30 17:21:41 PDT ---
(In reply to comment #6)
> LDC already have all the checks splat in different options:
> 
> $ ldc --help
> [...]
>   -enable-asserts                              - (*) Enable assertions
>   -enable-boundscheck                          - (*) Enable array bounds checks
>   -enable-contracts                            - (*) Enable function pre- and
> post-conditions
>   -enable-invariants                           - (*) Enable invariants
>   -enable-postconditions                       - (*) Enable function
> postconditions
>   -enable-preconditions                        - (*) Enable function
> preconditions
>   -enable-inlining                             - (*) Enable function inlining
> in -O<N>
> [...]
> Options marked with (*) also have a -disable-FOO variant with inverted
> meaning.
> $ 
> 
> It will be very nice if this switches are included in the reference
> implementation too.

I think this is too much configurability that does not reflect principles, only
mechanism.

DbC means assert, precondition, postcondition, and invariant are enabled. I
don't think it's wise to enable or disable those independently.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------