| // { dg-additional-options "-fmodules-ts -fdump-lang-module" } | |
| export module PiL; | |
| // { dg-module-cmi PiL } | |
| static int counter = 0; | |
| // These are not inlined, so their bodies don't get into the BMI | |
| export int get () | |
| { | |
| return counter++; | |
| } | |
| export int hwm () | |
| { | |
| return counter; | |
| } | |
| // { dg-final { scan-lang-dump-not {Bindings '::counter' section:} module } } | |
| // { dg-final { scan-lang-dump-not {Unnamed . '::counter'} module } } |