Add a new semantics attribute to disable SIL verification on a function

This provides a way to disable verification per function instead of the entire module.
This commit is contained in:
Meghana Gupta
2025-05-14 15:38:59 -07:00
parent 294e4cf21b
commit aa01b2ad06
5 changed files with 35 additions and 5 deletions

View File

@@ -165,5 +165,7 @@ SEMANTICS_ATTR(USE_FRAME_POINTER, "use_frame_pointer")
SEMANTICS_ATTR(FIXED_STORAGE_CHECK_INDEX, "fixed_storage.check_index")
SEMANTICS_ATTR(FIXED_STORAGE_GET_COUNT, "fixed_storage.get_count")
SEMANTICS_ATTR(NO_SIL_VERIFICATION, "sil.verify_none")
#undef SEMANTICS_ATTR