Page MenuHomePhabricator

Please use GitHub pull requests for new patches. Phabricator shutdown timeline

[Verifier] Check that GEP indexes has correct types

Authored by igor-laevsky on Nov 23 2017, 6:45 AM.



This is minor issue inspired by the llvm-opt-fuzzer.

Verifier will accept GEP's with first index of any arbitrary type. IR parser checks this independently so we can only achieve this by explicitly generating this code using llvm library (and this is what happened in the llvm-opt-fuzzer).

Diff Detail


Event Timeline

igor-laevsky created this revision.Nov 23 2017, 6:45 AM
igor-laevsky added a subscriber: llvm-commits.
igor-laevsky edited the summary of this revision. (Show Details)Nov 23 2017, 8:35 AM

Slight ping? This change is not overly important but seems reasonable to me.

bogner accepted this revision.Dec 13 2017, 10:17 AM

Sorry, I didn't see this one (I think llvm-commits was missing on the initial patch creation and it didn't make it to the list).


This revision is now accepted and ready to land.Dec 13 2017, 10:17 AM
This revision was automatically updated to reflect the committed changes.