if I understood the problem correctly, the fix wil...
# announcements
y
if I understood the problem correctly, the fix will require cross-function control flow analysis, which is by no means simple