Make sure pragmas propagate to all source locations#4666

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:suppression-fixtautschnig/cbmc:suppression-fixCopy head branch name to clipboard