Vincent Rousseau

Results 2 comments of Vincent Rousseau

We introduce a -fexperimental-bounds-safety flag: when it is disabled, all bounds-safety attributes are treated as no-ops; when enabled, we parse them, keep them in the AST, and run static checks....

Hi @ehaas A bit of both. I’ve done some initial experiments locally to verify that the approach is viable, but nothing polished or merged anywhere yet. What I outlined here...