Opened 13 years ago

Closed 13 years ago

#932 closed enhancement (fixed)

CR: enable "scrutiny" be default

Reported by: felix winkelmann Owned by:
Priority: minor Milestone: someday
Component: compiler Version: 4.8.x
Keywords: Cc:
Estimated difficulty:

Description

Flow- and type-analysis only enabled with the -scrutinize or -specialize options, or when an optimization-level > 2 is selected. Since the type-analysis can catch many errors, sjamaan suggested to enable scrutiny by default (note that this doesn't automatically imply specialization, i.e. optimizations based on the analysis).

To avoid incorrect warnings in code that redefines standard bindings, scrutiny should be disabled when the -no-usual-integrations option (implied by optimization level 0) is given.

Change History (4)

comment:2 in reply to:  1 Changed 13 years ago by johnwcowan

Replying to felix:

Poll(Enable scrutiny by default?; Yes; No)?

comment:3 Changed 13 years ago by felix winkelmann

Type: change request → enhancement

Accepted.

comment:4 Changed 13 years ago by felix winkelmann

Resolution: → fixed
Status: new → closed
Note: See TracTickets for help on using tickets.