# Turn on all warnings.
WARNING_FILTER += allow

# Then disable just the DIAG.* classes.
WARNING_FILTER += discard categories:DIAG.

# Some warning classes require unnormalized asts
RETAIN_UNNORMALIZED_C_AST = Yes

# Enable all taint kinds.
DISABLED_TAINT_KINDS = 

# Make sure Scope Could Be Local Static is issued.
SCOPE_CHECK_SUGGESTS_LOCAL_STATIC = Yes 

# Make sure Assembly Pragma is issued
EDG_FRONTEND_OPTIONS_PREPEND += --cs_ext_pragma_asm_endasm

# Increase some time limits to support Data Race checking.
TIME_LIMIT_INTER_CLASSIFY = 16
TIME_LIMIT_INTRA_CLASSIFY = 16

INCREMENTAL_BUILD = No