Skip to content

Use GoblintCil.upointType directly #12403

Use GoblintCil.upointType directly

Use GoblintCil.upointType directly #12403