[safestack] add sema test for attribute no_safe_stack