Expanding __CPROVER_{r,w,rw}_ok must not introduce overflow [depends-on: #6616]#6656

Open

tautschnig wants to merge 3 commits intodiffblue:developfrom

tautschnig:bugfixes/simplifier-typecast-overflow

Commits on Feb 10, 2022

C front-end: pragma conflict checking must handle empty stack
tautschnig
committed
goto_check_c: observe check pragmas annotated to individual expressions
tautschnig
committed
Expanding __CPROVER_{r,w,rw}_ok must not introduce overflow
tautschnig
committed