[PATCH] D68233: [FPEnv] [WIP] Verify strictfp attribute correctness

[Kit Barton via Phabricator via llvm-commits]

kbarton added inline comments.


================
Comment at: llvm/lib/IR/Verifier.cpp:359
     verifySiblingFuncletUnwinds();
+    verifyFunctionConstrainedFP(F);
     InstsInThisBlock.clear();
----------------
I don't know how the traversal is done, but is this something that could be done inside visitFunction instead? 
That would require all of the instructions have been traversed at that point, and all the intrinsics have been visited, and I'm not sure whether that happens before or ofter visitFunction is called. 


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D68233/new/

https://reviews.llvm.org/D68233