--no-cc Do not invoke C compiler
--make-flags Additional options to make
--hardening Generate contracts in the C code against bugs in the compiler
+ --no-shortcut-range Always insantiate a range and its iterator on 'for' loops
--no-check-covariance Disable type tests of covariant parameters (dangerous)
--no-check-initialization Disable isset tests at the end of constructors (dangerous)
--no-check-assert Disable the evaluation of explicit 'assert' and 'as' (dangerous)
--no-check-autocast Disable implicit casts on unsafe expression usage (dangerous)
--no-check-other Disable implicit tests: unset attribute, null receiver (dangerous)
+ --typing-test-metrics Enable static and dynamic count of all type tests
--separate Use separate compilation
--no-inline-intern Do not inline call to intern methods
- --no-union-attribute But primitive attibutes in a box instead of an union
+ --no-union-attribute Put primitive attibutes in a box instead of an union
+ --no-shortcut-equal Always call == in a polymorphic way
--inline-coloring-numbers Inline colors and ids
--bm-typing Colorize items incrementaly, used to simulate binary matrix typing
--phmod-typing Replace coloration by perfect hashing (with mod operator)
--phand-typing Replace coloration by perfect hashing (with and operator)
- --generic-resolution-tree Use tree representation for live generic types instead of flattened representation
+ --tables-metrics Enable static size measuring of tables used for vft, typing and resolution
--erasure Erase generic types
--no-check-erasure-cast Disable implicit casts on unsafe return with erasure-typing policy (dangerous)
+ --global Use global compilation