-
Matthias Braun authored
- We have no_write, pure and terminates now (terminates instead of has_loop means that more flags is more specific information, so the fixpoint algos are less confusing) - funccall ana also detects noreturn attribute now (but isn't optimizing it)
f5733374