Sounds ok to me, as long as the assert(__ctfe) is the first statement in the function body. Though I would check the linker map file to see if the linker didn't already omit functions that were never called.