Disabling all domains in base leads to asserts being reported as unknown, even when an analysis can answer the query. The problem is that the Queries.ID relies on the ana.int.* options: So if all domains are disabled, the query system becomes useless for all integer related information.
If base is not active at all, one can leave the ana.int.* options enabled so they get used in Queries.ID. However, without base we are silently unsound for multi-threaded programs.
Maybe we should consider always enabling at least constants in Queries.ID. Until such a change is made, it makes sense to emit a warning as the first step
Disabling all domains in base leads to asserts being reported as unknown, even when an analysis can answer the query. The problem is that the
Queries.IDrelies on theana.int.*options: So if all domains are disabled, the query system becomes useless for all integer related information.If
baseis not active at all, one can leave theana.int.*options enabled so they get used inQueries.ID. However, withoutbasewe are silently unsound for multi-threaded programs.Maybe we should consider always enabling at least constants in
Queries.ID. Until such a change is made, it makes sense to emit a warning as the first step