Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[cfe] Soundness issue with generator element type #53053

Closed
eernstg opened this issue Jul 27, 2023 · 1 comment
Closed

[cfe] Soundness issue with generator element type #53053

eernstg opened this issue Jul 27, 2023 · 1 comment
Assignees
@chloestefantsova
Labels
area-front-end Use area-front-end for front end / CFE / kernel format related issues. soundness

Comments

@eernstg
Copy link
Member

eernstg commented Jul 27, 2023

This is the CFE specific issue for #53052, which has the details.
@eernstg eernstg added the area-front-end Use area-front-end for front end / CFE / kernel format related issues. label Jul 27, 2023
@eernstg eernstg mentioned this issue Jul 27, 2023
Open
@chloestefantsova
Copy link
Contributor

Fixed in 4352f10

This was referenced Aug 16, 2023
Closed
Closed
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@chloestefantsova chloestefantsova

Labels
area-front-end Use area-front-end for front end / CFE / kernel format related issues. soundness
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@chloestefantsova @eernstg