Skip to content

task: capture SYCL sources in the Coverity scan - #2401

Open
jharlow-intel wants to merge 1 commit into
masterfrom
task/coverity-intel-comptype
Open

jharlow-intel wants to merge 1 commit into
masterfrom
task/coverity-intel-comptype

Conversation

@jharlow-intel

Copy link
Copy Markdown
Contributor

The weekly Coverity scan reports Emitted 18 C/C++ compilation units (46%), and counted per source it captures only 9 of dpctl's 30. The generic clangcc/clangcxx templates parse the SYCL headers without SYCL mode, so units fail on device-only builtins like __ocl_sampler_t. Found while reviewing IntelPython/dpnp#3070, which copied this setup.

  • Register icx/icpx with Coverity's native Intel oneAPI compiler type (intel_icx:linux in the current Scan build tool), as mkl_umath does. That captures all 30 sources.
  • That type also emits a spir64 device pass per SYCL source, which the Scan emitter cannot parse. The device passes keep the Emitted (P%) total at 66%, so the job now fails unless every project source has a completed emit, instead of only on zero units.
  • Skip the upload on non-master refs, so a branch dispatch checks the capture without replacing master's results on the dashboard.
  • Drop rm -rf _skbuild, a no-op on a fresh checkout.

Validation, dispatched on this branch: run 40340192472 reports 30 of 30 sources and skips the upload. The same check fails on the current master log (9 of 30).

…Coverity

The generic clangcc/clangcxx templates parse the SYCL headers without
SYCL mode, so most SYCL sources fail to emit: the weekly scan reports
46% of units, and only 9 of the 30 project sources are captured at all.
Register icx/icpx with Coverity's Intel oneAPI compiler type instead, as
mkl_umath does.

That type emits each SYCL source as a host pass and a spir64 device
pass, and the Scan build tool cannot parse the device pass, so the
overall percentage stays at 66% even with every source captured. Fail
the job unless every project source has a completed emit, so a partial
capture does not use up a scan, and skip the upload on feature-branch
dispatches so they validate capture without replacing master's results.
Drop the _skbuild removal, a no-op on a fresh checkout.
@coveralls

Copy link
Copy Markdown
Collaborator

Coverage Status

coverage: 74.989%. remained the same — task/coverity-intel-comptype into master

@github-actions

Copy link
Copy Markdown

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants