Add batch 2 analysis of semantics and UB of GENERIC
1 file changed