- aa_opt_no_opt = 0, /**< no options: most conservative */
- aa_opt_type_based = 1, /**< use type based alias analysis: strict typed source language */
- aa_opt_byte_type_may_alias = 2, /**< if type based analysis is enabled: bytes types may alias other types */
- aa_opt_no_alias = 4, /**< two addresses NEVER alias, use with CAUTION (gcc -fno-alias) */
- aa_opt_inherited = 128 /**< only for implementation: options from a graph are inherited from global */
+ aa_opt_no_opt = 0, /**< no options: most conservative */
+ aa_opt_type_based = 1, /**< use type based alias analysis: strict typed source language */
+ aa_opt_byte_type_may_alias = 2, /**< if type based analysis is enabled: bytes types may alias other types */
+ aa_opt_no_alias_args = 4, /**< arguments do not alias each other but may alias global storage */
+ aa_opt_no_alias_args_global = 8, /**< arguments do not alias global storage */
+ aa_opt_no_alias = 16, /**< two addresses NEVER alias, use with CAUTION (gcc -fno-alias) */
+ aa_opt_inherited = 128 /**< only for implementation: options from a graph are inherited from global */