2016-08-09 11:23 GMT+02:00 scan-admin@coverity.com:
421 defect(s), reported by Coverity Scan earlier, were marked fixed in the recent build analyzed by Coverity Scan.
I wish it was that simple. Of those 421, maybe 10 are actually fixed, but the real reason for this steep dive is that our coverity builder failed to correctly configure the toolchains.
Patrick