В «Строгое псевдонимы » указатели не имеют псевдонимов, если они разных типов.
В «Типизированное псевдонимы» указатели одного типа могут создавать псевдонимы и перекрываться.
В «Ограниченный псевдоним» предполагается, что указатели одного типа не перекрываются.
В «Несвязанный псевдоним» все выражения указателя не приводят к перекрытию.