Fix incorrect linemark tracking with `--coverity`

intel / device-modeling-language

Mozilla Public License 2.0

92 stars 47 forks source link

Closed lwaern-intel closed 11 months ago

lwaern-intel commented 1 year ago

This improves defect reporting. Admittedly a rather lazy solution.

syssimics commented 1 year ago

Verification #12469542: pass

lwaern-intel commented 11 months ago

@mandolaerik NAG