In a trace in the textual output of cbmc, the source location for an intrinsic function like the gcc atomic built-in functions may include only the function name and may omit the file name and line number.
This patch corrects the parsing of such source locations.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
In a trace in the textual output of cbmc, the source location for an intrinsic function like the gcc atomic built-in functions may include only the function name and may omit the file name and line number.
This patch corrects the parsing of such source locations.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.