\brief Check for the \e alternate form, tmp1 = (val2 == 0) ? val1 : 0; We know we have the basic form \code tmp1 = cond ? val1 : 0; result = tmp1 | other; \endcode So we just need to check that \b other plays the role of \b val2. If we match the \e alternate form, perform the simplification \param vn is the candidate \b other Varnode \param branch holds the basic form \param op is the INT_OR p-c
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected