goto_check_c: observe check pragmas annotated to individual expressions#6616

Open

tautschnig wants to merge 2 commits intodiffblue:developfrom

tautschnig:bugfix/overflow-conversion-check

Commits on Feb 7, 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