Shared: Generate more value-preserving summaries#19409

MathiasVP wants to merge 5 commits intogithub:maingithub/codeql:mainfrom

MathiasVP:infer-value-preserving-summariesMathiasVP/ql:infer-value-preserving-summariesCopy head branch name to clipboard