[llvm] [BOLT] Gadget scanner: reformulate the state for data-flow analysis (PR #131898)

[Kristof Beyls via llvm-commits]

https://github.com/kbeyls commented:

Mostly looks good to me, I just have a few minor comments.

https://github.com/llvm/llvm-project/pull/131898