[TheAsprngHacker]

I had no idea that the meet/join operations are used in compiler analysis, and I'm curious to find out more. Where can I find out how meet and join are defined on C values, in the context of GCC?

[DannyBee]

Compiler dataflow, is at its core, lattice operations. If you read papers from the 70's, you will find it's very direct about it.

For this specific optimization, you want https://github.com/gcc-mirror/gcc/blob/master/gcc/tree-ssa-c...