[alias] render more robust in case of cyclic graphs
Cyclic graphs may occur in the presence of unsafe casts. Instead of crashing with an exception we continue with a warning. Fixes #1299 Move tests/known_bugs/reduce_by_valid.c -> tests/fixed_bugs/reduce_by_valid.c
Showing
- src/plugins/alias/src/abstract_state.ml 10 additions, 2 deletionssrc/plugins/alias/src/abstract_state.ml
- src/plugins/alias/src/options.ml 1 addition, 0 deletionssrc/plugins/alias/src/options.ml
- src/plugins/alias/src/options.mli 1 addition, 0 deletionssrc/plugins/alias/src/options.mli
- src/plugins/alias/tests/fixed_bugs/oracle/reduce_by_valid.res.oracle 35 additions, 0 deletions.../alias/tests/fixed_bugs/oracle/reduce_by_valid.res.oracle
- src/plugins/alias/tests/fixed_bugs/reduce_by_valid.c 0 additions, 0 deletionssrc/plugins/alias/tests/fixed_bugs/reduce_by_valid.c
Loading
Please register or sign in to comment