O C ++ é livre de contexto ou sensível ao contexto?

Costumo ouvir afirmações de que C ++ é uma linguagem sensível ao contexto. Veja o seguinte exemplo:

a b(c);

Essa é uma definição de variável ou uma declaração de função? Isso depende do significado do símbolo c. Se cé uma variável , a b(c);define uma variável com o nome bdo tipo a. É inicializado diretamente com c. Mas se cfor um tipo , a b(c);declara uma função chamada bque recebe cae retorna uma a.

Se você procurar a definição de linguagens livres de contexto, basicamente lhe dirá que todas as regras gramaticais devem ter lados esquerdos que consistem em exatamente um símbolo não terminal. Gramáticas sensíveis ao contexto, por outro lado, permitem seqüências arbitrárias de símbolos terminais e não terminais no lado esquerdo.

Navegando pelo Apêndice A de "A linguagem de programação C ++", não consegui encontrar uma única regra gramatical que contenha mais nada além de um único símbolo não terminal no lado esquerdo. Isso implicaria que C ++ é livre de contexto. (Obviamente, toda linguagem livre de contexto também é sensível ao contexto, no sentido de que as linguagens livres de contexto formam um subconjunto das linguagens sensíveis ao contexto, mas esse não é o ponto.)

Então, o C ++ é livre de contexto ou sensível ao contexto?

Abaixo está minha demonstração favorita (atual) de por que a análise de C ++ é (provavelmente) concluída em Turing , pois mostra um programa sintaticamente correto se e somente se um número inteiro for primo.

Portanto, afirmo que o C ++ não é isento de contexto nem sensível ao contexto .

Se você permitir seqüências arbitrárias de símbolos nos dois lados de qualquer produção, produza uma gramática Tipo 0 ("irrestrita") na hierarquia de Chomsky , que é mais poderosa que uma gramática sensível ao contexto; gramáticas irrestritas são completas de Turing. Uma gramática sensível ao contexto (Tipo 1) permite vários símbolos de contexto no lado esquerdo de uma produção, mas o mesmo contexto deve aparecer no lado direito da produção (daí o nome "sensível ao contexto"). [1] Gramáticas sensíveis ao contexto são equivalentes a máquinas de Turing de limite linear .

No programa de exemplo, o cálculo principal pode ser realizado por uma máquina de Turing de limite linear, portanto não prova a equivalência de Turing, mas a parte importante é que o analisador precisa executar o cálculo para realizar a análise sintática. Poderia ter sido qualquer computação expressável como uma instanciação de modelo e há todos os motivos para acreditar que a instanciação de modelo C ++ é Turing-complete. Veja, por exemplo, o artigo de Todd L. Veldhuizen em 2003 .

Independentemente disso, o C ++ pode ser analisado por um computador, portanto certamente pode ser analisado por uma máquina de Turing. Conseqüentemente, uma gramática irrestrita poderia reconhecê-la. Escrever essa gramática seria impraticável, e é por isso que o padrão não tenta fazê-lo. (Ver abaixo.)

O problema com a "ambiguidade" de certas expressões é principalmente um arenque vermelho. Para começar, a ambiguidade é um recurso de uma gramática específica, não de um idioma. Mesmo que se prove que um idioma não possui gramáticas inequívocas, se pode ser reconhecido por uma gramática livre de contexto, é livre de contexto. Da mesma forma, se não puder ser reconhecido por uma gramática livre de contexto, mas puder ser reconhecido por uma gramática sensível ao contexto, é sensível ao contexto. A ambiguidade não é relevante.

Mas, de qualquer forma, como a linha 21 (ou seja auto b = foo<IsPrime<234799>>::typen<1>();) no programa abaixo, as expressões não são ambíguas; eles são simplesmente analisados ​​de maneira diferente, dependendo do contexto. Na expressão mais simples do problema, a categoria sintática de certos identificadores depende de como eles foram declarados (tipos e funções, por exemplo), o que significa que a linguagem formal precisaria reconhecer o fato de que duas seqüências de comprimento arbitrário em o mesmo programa é idêntico (declaração e uso). Isso pode ser modelado pela gramática "copy", que é a gramática que reconhece duas cópias exatas consecutivas da mesma palavra. É fácil provar com o lema de bombeamentoque essa linguagem não é livre de contexto. Uma gramática sensível ao contexto para esse idioma é possível e uma gramática Tipo 0 é fornecida na resposta a esta pergunta: /math/163830/context-sensitive-grammar-for-the- linguagem de cópia .

Se alguém tentasse escrever uma gramática sensível ao contexto (ou irrestrita) para analisar o C ++, isso provavelmente preencheria o universo com rabiscos. Escrever uma máquina de Turing para analisar C ++ seria uma tarefa igualmente impossível. Até escrever um programa em C ++ é difícil, e até onde eu sei, nenhum deles foi provado correto. É por isso que o padrão não tenta fornecer uma gramática formal completa e por que escolhe escrever algumas das regras de análise em inglês técnico.

O que parece uma gramática formal no padrão C ++ não é a definição formal completa da sintaxe da linguagem C ++. Nem sequer é a definição formal completa da linguagem após o pré-processamento, que pode ser mais fácil de formalizar. (Porém, essa não seria a linguagem: a linguagem C ++, conforme definida pelo padrão, inclui o pré-processador, e a operação do pré-processador é descrita algoritmicamente, pois seria extremamente difícil de descrever em qualquer formalismo gramatical. É nessa seção. do padrão em que a decomposição lexical é descrita, incluindo as regras em que deve ser aplicada mais de uma vez.)

As várias gramáticas (duas gramáticas sobrepostas para análise lexical, uma que ocorre antes do pré-processamento e a outra, se necessário, posteriormente, além da gramática "sintática") são coletadas no Apêndice A, com esta nota importante (ênfase adicionada):

Este resumo da sintaxe do C ++ pretende ser um auxílio à compreensão. Não é uma afirmação exata do idioma . Em particular, a gramática descrita aqui aceita um superconjunto de construções válidas em C ++ . Regras de desambiguação (6.8, 7.1, 10.2) devem ser aplicadas para distinguir expressões de declarações. Além disso, regras de controle de acesso, ambiguidade e tipo devem ser usadas para eliminar construções sintaticamente válidas, mas sem sentido.

Finalmente, aqui está o programa prometido. A linha 21 está sintaticamente correta se e somente se o N in IsPrime<N>for primo. Caso contrário, typené um número inteiro, não um modelo, portanto, typen<1>()é analisado como (typen<1)>()sintaticamente incorreto, porque ()não é uma expressão sintaticamente válida.

template<bool V> struct answer { answer(int) {} bool operator()(){return V;}};

template<bool no, bool yes, int f, int p> struct IsPrimeHelper
  : IsPrimeHelper<p % f == 0, f * f >= p, f + 2, p> {};
template<bool yes, int f, int p> struct IsPrimeHelper<true, yes, f, p> { using type = answer<false>; };
template<int f, int p> struct IsPrimeHelper<false, true, f, p> { using type = answer<true>; };

template<int I> using IsPrime = typename IsPrimeHelper<!(I&1), false, 3, I>::type;
template<int I>
struct X { static const int i = I; int a[i]; }; 

template<typename A> struct foo;
template<>struct foo<answer<true>>{
  template<int I> using typen = X<I>;
};
template<> struct foo<answer<false>>{
  static const int typen = 0;
};

int main() {
  auto b = foo<IsPrime<234799>>::typen<1>(); // Syntax error if not prime
  return 0;
}

[1] Para colocá-lo mais tecnicamente, toda produção em uma gramática sensível ao contexto deve ter a forma:

αAβ → αγβ

onde Aé um terminal e não α, βsão possivelmente sequências vazias de símbolos gramaticais e γé uma sequência não vazia. (Os símbolos gramaticais podem ser terminais ou não terminais).

Isso pode ser lido como A → γapenas no contexto [α, β]. Em uma gramática livre de contexto (Tipo 2) αe βdeve estar vazia.

Acontece que você também pode restringir gramáticas com a restrição "monotônica", em que toda produção deve ter a forma:

α → βonde |α| ≥ |β| > 0  ( |α|significa "o comprimento de α")

É possível provar que o conjunto de idiomas reconhecidos pelas gramáticas monotônicas é exatamente o mesmo que o conjunto de idiomas reconhecidos pelas gramáticas sensíveis ao contexto, e geralmente é mais fácil basear as provas em gramáticas monotônicas. Consequentemente, é bastante comum ver "sensível ao contexto" usado como se quisesse "monotônico".

Primeiro, você observou corretamente que não existem regras sensíveis ao contexto na gramática no final do padrão C ++, de modo que a gramática é livre de contexto.

No entanto, essa gramática não descreve com precisão a linguagem C ++, porque produz programas não C ++, como

int m() { m++; }

ou

typedef static int int;

A linguagem C ++ definida como "o conjunto de programas C ++ bem formados" não é livre de contexto (é possível mostrar que apenas exigir variáveis ​​a serem declaradas o torna). Dado que você pode escrever teoricamente programas completos de Turing em modelos e criar um programa mal formado com base em seus resultados, isso nem é sensível ao contexto.

Agora, pessoas (ignorantes) (geralmente não teóricas da linguagem, mas designers de analisadores) normalmente usam "sem contexto" em alguns dos seguintes significados

• ambíguo
• não pode ser analisado com Bison
• não LL (k), LR (k), LALR (k) ou qualquer classe de idioma definida pelo analisador que eles escolheram

A gramática na parte de trás do padrão não satisfaz essas categorias (ou seja, é ambígua, não LL (k) ...), portanto, a gramática C ++ "não é livre de contexto" para elas. E, de certa forma, eles estão certos de que é muito difícil produzir um analisador de C ++ funcional.

Observe que as propriedades aqui usadas são apenas fracamente conectadas a linguagens livres de contexto - a ambiguidade não tem nada a ver com sensibilidade ao contexto (na verdade, regras sensíveis ao contexto geralmente ajudam a desambiguar produções), as outras duas são meramente subconjuntos de contexto idiomas livres. E a análise de linguagens sem contexto não é um processo linear (embora a análise de linguagens determinísticas seja).

Sim. A expressão a seguir possui uma ordem diferente de operações, dependendo do tipo de contexto resolvido :

Editar: quando a ordem real da operação varia, torna-se incrivelmente difícil usar um compilador "regular" que analise um AST não decorado antes de decorá-lo (propagando informações de tipo). Outras coisas sensíveis ao contexto mencionadas são "bastante fáceis" em comparação com isso (não que a avaliação do modelo seja fácil).

#if FIRST_MEANING
   template<bool B>
   class foo
   { };
#else
   static const int foo = 0;
   static const int bar = 15;
#endif

Seguido por:

static int foobar( foo < 2 ? 1 < 1 : 0 > & bar );

Para responder sua pergunta, você precisa distinguir duas perguntas diferentes.

1. A mera sintaxe de quase todas as linguagens de programação é livre de contexto. Normalmente, é fornecido como uma forma estendida de Backus-Naur ou gramar sem contexto.

2. No entanto, mesmo que um programa esteja em conformidade com o gramar sem contexto definido pela linguagem de programação, ele não é necessariamente um programa válido . Existem muitas propriedades sem contexto que um programa precisa satisfazer para ser um programa válido. Por exemplo, a propriedade mais simples é o escopo das variáveis.

Para concluir, se o C ++ é ou não livre de contexto depende da pergunta que você faz.

Você pode dar uma olhada no The Design & Evolution of C ++ , de Bjarne Stroustrup. Nele, ele descreve seus problemas ao tentar usar o yacc (ou similar) para analisar uma versão anterior do C ++, e desejando ter usado descida recursiva.

Sim, o C ++ é sensível ao contexto, muito sensível ao contexto. Você não pode construir a árvore de sintaxe simplesmente analisando o arquivo usando um analisador sem contexto, porque em alguns casos você precisa conhecer o símbolo do conhecimento anterior para decidir (por exemplo, criar uma tabela de símbolos durante a análise).

Primeiro exemplo:

A*B;

Esta é uma expressão de multiplicação?

OU

Esta declaração de Bvariável é um ponteiro do tipo A?

Se A é uma variável, então é uma expressão, se A é do tipo, é uma declaração de ponteiro.

Segundo exemplo:

A B(bar);

Este é um protótipo de função usando um argumento do bartipo?

OU

Essa variável Bde declaração é do tipo Ae chama o construtor de A com barconstante como inicializador?

Você precisa saber novamente se baré uma variável ou um tipo da tabela de símbolos.

Terceiro exemplo:

class Foo
{
public:
    void fn(){x*y;}
    int x, y;
};

Este é o caso ao criar a tabela de símbolos durante a análise não ajuda, porque a declaração de xey vem após a definição da função. Portanto, você precisa examinar primeiro a definição da classe e examinar as definições do método em uma segunda passagem, para dizer que x * y é uma expressão e não uma declaração de ponteiro ou o que seja.

C ++ é analisado com analisador GLR. Isso significa que, durante a análise do código-fonte, o analisador pode encontrar ambiguidade, mas deve continuar e decidir qual regra gramatical usar mais tarde .

veja também

Por que o C ++ não pode ser analisado com um analisador LR (1)?

Lembre-se de que a gramática livre de contexto não pode descrever TODAS as regras de uma sintaxe da linguagem de programação. Por exemplo, a gramática de atributo é usada para verificar a validade de um tipo de expressão.

int x;
x = 9 + 1.0;

Você não pode descrever a regra a seguir com gramática livre de contexto: O lado direito da atribuição deve ser do mesmo tipo do lado esquerdo.

Sinto que há alguma confusão entre a definição formal de "sensível ao contexto" e o uso informal de "sensível ao contexto". O primeiro tem um significado bem definido. O último é usado para dizer "você precisa do contexto para analisar a entrada".

Isso também é perguntado aqui: Sensibilidade ao contexto vs Ambiguidade .

Aqui está uma gramática livre de contexto:

<a> ::= <b> | <c>
<b> ::= "x"
<c> ::= "x"

É ambíguo, portanto, para analisar a entrada "x", você precisa de algum contexto (ou vive com a ambiguidade ou emite "Aviso: E8271 - A entrada é ambígua na linha 115"). Mas certamente não é uma gramática sensível ao contexto.

Nenhuma linguagem semelhante ao Algol é livre de contexto, porque elas possuem regras que restringem expressões e instruções nas quais os identificadores podem aparecer com base em seu tipo e porque não há limite no número de instruções que podem ocorrer entre a declaração e o uso.

A solução usual é escrever um analisador sem contexto que realmente aceite um superconjunto de programas válidos e coloque as partes sensíveis ao contexto no código "semântico" ad hoc anexado às regras.

O C ++ vai muito além disso, graças ao seu sistema de modelos Turing-complete. Consulte Pergunta sobre estouro de pilha 794015 .

Verdade :)

J. Stanley Warford. Sistemas de computador . Páginas 341-346.

Às vezes é pior: o que as pessoas querem dizer quando dizem que C ++ tem "gramática indecidível"?

É sensível ao contexto, pois a b(c);possui duas declarações e análises válidas. Quando você diz "Se cé um tipo", esse é o contexto, e você descreveu exatamente como o C ++ é sensível a ele. Se você não tivesse esse contexto de "O que é c?" você não poderia analisar isso sem ambiguidade.

Aqui, o contexto é expresso na escolha dos tokens - o analisador lê um identificador como um token de nome de tipo, se nomear um tipo. Essa é a resolução mais simples e evita grande parte da complexidade de ser sensível ao contexto (neste caso).

Editar: é claro que há mais questões de sensibilidade ao contexto, concentrei-me apenas na que você mostrou. Modelos são especialmente desagradáveis ​​para isso.

As produções no padrão C ++ são escritas sem contexto, mas como todos sabemos, na verdade, não definimos a linguagem com precisão. Parte do que a maioria das pessoas vê como ambiguidade no idioma atual pode (acredito) ser resolvida sem ambiguidade com uma gramática sensível ao contexto.

Para o exemplo mais óbvio, vamos considerar o mais irritante Parse: int f(X);. E seX é um valor, isso define fcomo uma variável que será inicializada com X. Se Xé um tipo, define fcomo uma função que aceita um único parâmetro do tipo X.

Observando isso do ponto de vista gramatical, poderíamos vê-lo assim:

A variable_decl ::= <type> <identifier> '(' initializer ')' ';'

B function_decl ::= <type> <identifier> '(' param_decl ')' ';'

A ::= [declaration of X as value]
B ::= [declaration of X as type]

É claro que, para estar totalmente correto, precisaríamos adicionar algumas "coisas" extras para explicar a possibilidade de declarações de outros tipos intervenientes (ou seja, A e B deveriam realmente ser "declarações incluindo a declaração de X como ..." ou algo nessa ordem).

Isso ainda é bastante diferente de um CSG típico (ou pelo menos o que eu me lembro deles). Isso depende da construção de uma tabela de símbolos - a parte que reconhece especificamente Xcomo um tipo ou valor, não apenas algum tipo de instrução anterior a isso, mas o tipo correto de instrução para o símbolo / identificador correto.

Como tal, eu teria que fazer algumas coisas para ter certeza, mas meu palpite imediato é que isso realmente não se qualifica como CSG, pelo menos como o termo é normalmente usado.

O caso mais simples da gramática sem contexto envolve a análise de expressões envolvendo modelos.

a<b<c>()

Isso pode analisar como

template
   |
   a < expr > ()
        |
        <
      /   \
     b     c

Ou

 expr
   |
   <
 /   \
a   template
     |
     b < expr > ()
          |
          c

Os dois ASTs só podem ser desambiguados examinando a declaração de 'a' - o primeiro AST se 'a' for um modelo, ou o último se não.

Os modelos C ++ foram mostrados como Turing Powerful. Embora não seja uma referência formal, aqui está um lugar para procurar a esse respeito:

http://cpptruths.blogspot.com/2005/11/c-templates-are-turing-complete.html

Vou arriscar um palpite (tão antigo quanto uma prova folclórica e concisa do CACM mostrando que o ALGOL nos anos 60 não poderia ser reprimido por um CFG) e dizer que o C ++ não pode, portanto, ser corretamente analisado apenas por um CFG. CFGs, em conjunto com vários mecanismos de TP em uma passagem em árvore ou durante eventos de redução - essa é outra história. De um modo geral, devido ao Problema de Interrupção, existe algum programa C ++ que não pode ser mostrado como correto / incorreto, mas que é correto / incorreto.

{PS- Como autor do Meta-S (mencionado por várias pessoas acima) - posso dizer com toda certeza que o Thothic não está extinto, nem o software está disponível gratuitamente. Talvez eu tenha redigido esta versão da minha resposta de forma que não seja excluído ou votado para -3.}

C ++ não é livre de contexto. Eu aprendi isso há algum tempo na palestra dos compiladores. Uma pesquisa rápida deu esse link, onde a seção "Sintaxe ou semântica" explica por que C e C ++ não são livres de contexto:

Wikipedia Discussão: Gramática livre de contexto

Atenciosamente,
Ovanes

Obviamente, se você fizer a pergunta literalmente, quase todos os idiomas com identificadores são sensíveis ao contexto.

É necessário saber se um identificador é um nome de tipo (um nome de classe, um nome introduzido por typedef, um parâmetro de modelo de nome de tipo), um nome de modelo ou outro nome para poder corrigir corretamente parte do uso do identificador. Por exemplo:

x = (name)(expression);

é um cast se namefor um nome de tipo e uma chamada de função sename for um nome de função. Outro caso é a chamada "análise mais irritante", em que não é possível diferenciar a definição de variável e a declaração de função (existe uma regra dizendo que é uma declaração de função).

Essa dificuldade introduziu a necessidade typenamee templatecom nomes dependentes. O resto do C ++ não é sensível ao contexto, tanto quanto eu sei (ou seja, é possível escrever uma gramática livre de contexto para ele).

Meta-S "é um mecanismo de análise sensível ao contexto de Quinn Tyler Jackson. Eu não o usei, mas ele conta uma história impressionante. Confira seus comentários em comp.compilers e consulte rnaparse.com/MetaS%20defined.htm - Ira Baxter 25/07 às 10:42

O link correto está analisando os mecanismos

Meta-S era propriedade de uma empresa extinta chamada Thothic. Posso enviar uma cópia gratuita do Meta-S para qualquer pessoa interessada e usei-a na pesquisa de análise de rna. Observe que a "gramática do pseudo-nó" incluída nas pastas de exemplos foi escrita por um programador não bioinformático, amador e basicamente não funciona. Minhas gramáticas adotam uma abordagem diferente e funcionam muito bem.

Um grande problema aqui é que os termos "livre de contexto" e "sensível ao contexto" são um pouco pouco intuitivos na ciência da computação. Para C ++, a sensibilidade ao contexto parece muito com ambiguidade, mas isso não é necessariamente verdade no caso geral.

Em C / ++, uma instrução if é permitida apenas dentro de um corpo de função. Isso parece torná-lo sensível ao contexto, certo? Bem não. Gramáticas sem contexto não precisam da propriedade onde você pode obter alguma linha de código e determinar se é válida. Na verdade, não é isso que significa livre de contexto. É realmente apenas um rótulo que implica vagamente algo meio relacionado ao que parece.

Agora, se uma declaração dentro de um corpo de função for analisada de maneira diferente, dependendo de algo definido fora dos ancestrais gramaticais imediatos (por exemplo, se um identificador descreve um tipo ou variável), como no exemplo a * b; caso, é, de fato, sensível ao contexto. Não há ambiguidade real aqui; será analisado como uma declaração de um ponteiro se afor de um tipo e multiplicação.

Ser sensível ao contexto não significa necessariamente "difícil de analisar". C na verdade não é tão difícil porque a infame a * b;"ambiguidade" pode ser resolvida com uma tabela de símbolos contendo typedefs encontrados anteriormente. Ele não requer instâncias arbitrárias de modelos (que foram comprovadas como Turing Complete) para resolver esse caso, como o C ++ ocasionalmente. Na verdade, não é possível escrever um programa em C que não seja compilado em um período finito de tempo, mesmo que tenha a mesma sensibilidade ao contexto que o C ++.

O Python (e outras linguagens sensíveis a espaço em branco) também depende do contexto, pois exige que o estado no lexer gere tokens de indentação e dedução, mas isso não dificulta a análise do que uma gramática LL-1 típica. Na verdade, ele usa um gerador de analisador, que é parte do motivo pelo qual o Python possui mensagens de erro de sintaxe não informativas. Também é importante observar aqui que não há "ambiguidade" como o a * b;problema no Python, fornecendo um bom exemplo concreto de uma linguagem sensível ao contexto sem gramática "ambígua" (como mencionado no primeiro parágrafo).

Esta resposta diz que C ++ não é livre de contexto ... há uma implicação (não pelo respondente) de que ele não pode ser analisado, e a resposta oferece um exemplo de código difícil que produz um programa C ++ inválido se uma determinada constante não for uma número primo.

Como outros observaram, a pergunta sobre se a linguagem é sensível ao contexto / livre é diferente da mesma pergunta sobre uma gramática específica.

Para deixar a questão da parseabilidade em repouso, ofereço evidências empíricas de que existem gramáticas sem contexto para C ++, que podem ser usadas para produzir um AST para uma análise sem contexto do texto de origem, na verdade, analisando-o com uma GLR existente ferramenta baseada em analisador, dirigida por uma gramática explícita.

Sim, consegue "aceitar demais"; nem tudo o que ele aceita é um programa C ++ válido, e é por isso que é seguido de verificações adicionais (verificações de tipo). E sim, o verificador de tipos pode ter problemas de computabilidade. Na prática, as ferramentas não têm esse problema; se as pessoas escrevessem programas como esse, nenhum deles seria compilado. (Eu acho que o padrão na verdade limita a quantidade de computação que você pode desdobrar um modelo, então, na verdade, a computação é finita, mas provavelmente muito grande).

Se o que você quer dizer é determinar se o programa de origem é membro do conjunto de programas de origem válidos em C ++ , concordarei que o problema é muito mais difícil. Mas não é a análise que é o problema.

A ferramenta resolve esse problema isolando a análise da verificação de tipo do programa analisado. (Quando houver várias interpretações na ausência de contexto, ele registra uma ambiguidade nó de na árvore de análise com várias análises possíveis; a verificação de tipo decide qual está correta e elimina as subárvores inválidas). Você pode ver uma árvore de análise (parcial) no exemplo abaixo; a árvore inteira é muito grande para caber em uma resposta SO. Observe que você obtém uma árvore de análise se o valor 234797 ou 234799 é usado.

A execução do resolvedor de nome / tipo da ferramenta no AST com o valor original 234799 é bem-sucedida. Com o valor 234797, o resolvedor de nomes falha (conforme o esperado) com a mensagem de erro "typen não é um tipo". e, portanto, essa versão não é um programa C ++ válido.

967 tree nodes in tree.
15 ambiguity nodes in tree.
(translation_unit@Cpp~GCC5=2#6b11a20^0 Line 1 Column 1 File C:/temp/prime_with_templates.cpp
 (declaration_seq@Cpp~GCC5=1021#6b06640^1#6b11a20:1 {10} Line 1 Column 1 File C:/temp/prime_with_templates.cpp
  (pp_declaration_seq@Cpp~GCC5=1022#6b049a0^1#6b06640:1 Line 1 Column 1 File C:/temp/prime_with_templates.cpp
   (declaration@Cpp~GCC5=1036#6b04980^1#6b049a0:1 Line 1 Column 1 File C:/temp/prime_with_templates.cpp
   |(template_declaration@Cpp~GCC5=2079#6b04960^1#6b04980:1 Line 1 Column 1 File C:/temp/prime_with_templates.cpp
   | (template_parameter_list@Cpp~GCC5=2082#6afbde0^1#6b04960:1 Line 1 Column 10 File C:/temp/prime_with_templates.cpp
   |  (template_parameter@Cpp~GCC5=2085#6afbd80^1#6afbde0:1 Line 1 Column 10 File C:/temp/prime_with_templates.cpp
   |   (parameter_declaration@Cpp~GCC5=1611#6afbd40^1#6afbd80:1 Line 1 Column 10 File C:/temp/prime_with_templates.cpp
   |   |(basic_decl_specifier_seq@Cpp~GCC5=1070#6afb880^1#6afbd40:1 Line 1 Column 10 File C:/temp/prime_with_templates.cpp
   |   | (decl_specifier@Cpp~GCC5=1073#6afb840^1#6afb880:1 Line 1 Column 10 File C:/temp/prime_with_templates.cpp
   |   |  (trailing_type_specifier@Cpp~GCC5=1118#6afb7e0^1#6afb840:1 Line 1 Column 10 File C:/temp/prime_with_templates.cpp
   |   |   (simple_type_specifier@Cpp~GCC5=1138#6afb7a0^1#6afb7e0:1 Line 1 Column 10 File C:/temp/prime_with_templates.cpp)simple_type_specifier
   |   |  )trailing_type_specifier#6afb7e0
   |   | )decl_specifier#6afb840
   |   |)basic_decl_specifier_seq#6afb880
   |   |(ptr_declarator@Cpp~GCC5=1417#6afbc40^1#6afbd40:2 Line 1 Column 15 File C:/temp/prime_with_templates.cpp
   |   | (noptr_declarator@Cpp~GCC5=1421#6afbba0^1#6afbc40:1 Line 1 Column 15 File C:/temp/prime_with_templates.cpp
   |   |  (declarator_id@Cpp~GCC5=1487#6afbb80^1#6afbba0:1 Line 1 Column 15 File C:/temp/prime_with_templates.cpp
   |   |   (id_expression@Cpp~GCC5=317#6afbaa0^1#6afbb80:1 Line 1 Column 15 File C:/temp/prime_with_templates.cpp
   |   |   |(unqualified_id@Cpp~GCC5=319#6afb9c0^1#6afbaa0:1 Line 1 Column 15 File C:/temp/prime_with_templates.cpp
   |   |   | (IDENTIFIER@Cpp~GCC5=3368#6afb780^1#6afb9c0:1[`V'] Line 1 Column 15 File C:/temp/prime_with_templates.cpp)IDENTIFIER
   |   |   |)unqualified_id#6afb9c0
   |   |   )id_expression#6afbaa0
   |   |  )declarator_id#6afbb80
   |   | )noptr_declarator#6afbba0
   |   |)ptr_declarator#6afbc40
   |   )parameter_declaration#6afbd40
   |  )template_parameter#6afbd80
   | )template_parameter_list#6afbde0
   | (declaration@Cpp~GCC5=1033#6b04940^1#6b04960:2 Line 1 Column 18 File C:/temp/prime_with_templates.cpp
   |  (block_declaration@Cpp~GCC5=1050#6b04920^1#6b04940:1 Line 1 Column 18 File C:/temp/prime_with_templates.cpp
   |   (simple_declaration@Cpp~GCC5=1060#6b04900^1#6b04920:1 Line 1 Column 18 File C:/temp/prime_with_templates.cpp
   |   |(basic_decl_specifier_seq@Cpp~GCC5=1070#6b048e0^1#6b04900:1 Line 1 Column 18 File C:/temp/prime_with_templates.cpp
   |   | (decl_specifier@Cpp~GCC5=1073#6b048c0^1#6b048e0:1 Line 1 Column 18 File C:/temp/prime_with_templates.cpp
   |   |  (type_specifier@Cpp~GCC5=1110#6b048a0^1#6b048c0:1 Line 1 Column 18 File C:/temp/prime_with_templates.cpp
   |   |   (class_specifier@Cpp~GCC5=1761#6b04880^1#6b048a0:1 Line 1 Column 18 File C:/temp/prime_with_templates.cpp
   |   |   |(class_head@Cpp~GCC5=1763#6afb980^1#6b04880:1 Line 1 Column 18 File C:/temp/prime_with_templates.cpp
   |   |   | (class_key@Cpp~GCC5=1791#6afbca0^1#6afb980:1 Line 1 Column 18 File C:/temp/prime_with_templates.cpp)class_key
   |   |   | (IDENTIFIER@Cpp~GCC5=3368#6afbcc0^1#6afb980:2[`answer'] Line 1 Column 25 File C:/temp/prime_with_templates.cpp)IDENTIFIER
   |   |   | (optional_base_clause@Cpp~GCC5=1872#6afba60^1#6afb980:3 Line 1 Column 32 File C:/temp/prime_with_templates.cpp)optional_base_clause
   |   |   |)class_head#6afb980
   |   |   |(member_specification@Cpp~GCC5=1794#6b042e0^1#6b04880:2 {2} Line 1 Column 34 File C:/temp/prime_with_templates.cpp
   |   |   | (member_declaration_or_access_specifier@Cpp~GCC5=1806#6b04060^1#6b042e0:1 Line 1 Column 34 File C:/temp/prime_with_templates.cpp
   |   |   |  (member_declaration@Cpp~GCC5=1822#6b04040^1#6b04060:1 Line 1 Column 34 File C:/temp/prime_with_templates.cpp
   |   |   |   (function_definition@Cpp~GCC5=1632#6b04020^1#6b04040:1 Line 1 Column 34 File C:/temp/prime_with_templates.cpp
   |   |   |   |(function_head@Cpp~GCC5=1673#6afbec0^1#6b04020:1 Line 1 Column 34 File C:/temp/prime_with_templates.cpp
   |   |   |   | (ptr_declarator@Cpp~GCC5=1417#6afbfe0^1#6afbec0:1 Line 1 Column 34 File C:/temp/prime_with_templates.cpp
   |   |   |   |  (noptr_declarator@Cpp~GCC5=1422#6afbf80^1#6afbfe0:1 Line 1 Column 34 File C:/temp/prime_with_templates.cpp
   |   |   |   |   (noptr_declarator@Cpp~GCC5=1421#6afbf60^1#6afbf80:1 Line 1 Column 34 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |(declarator_id@Cpp~GCC5=1487#6afbea0^1#6afbf60:1 Line 1 Column 34 File C:/temp/prime_with_templates.cpp
   |   |   |   |   | (id_expression@Cpp~GCC5=317#6afbb40^1#6afbea0:1 Line 1 Column 34 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |  (unqualified_id@Cpp~GCC5=319#6afbc80^1#6afbb40:1 Line 1 Column 34 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   (IDENTIFIER@Cpp~GCC5=3368#6afbc20^1#6afbc80:1[`answer'] Line 1 Column 34 File C:/temp/prime_with_templates.cpp)IDENTIFIER
   |   |   |   |   |  )unqualified_id#6afbc80
   |   |   |   |   | )id_expression#6afbb40
   |   |   |   |   |)declarator_id#6afbea0
   |   |   |   |   )noptr_declarator#6afbf60
   |   |   |   |   (parameter_declaration_clause@Cpp~GCC5=1559#6afbd00^1#6afbf80:2 Line 1 Column 41 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |(pp_parameter_declaration_list@Cpp~GCC5=1570#6afb940^1#6afbd00:1 Line 1 Column 41 File C:/temp/prime_with_templates.cpp
   |   |   |   |   | (pp_parameter_declaration_seq@Cpp~GCC5=1574#6afb800^1#6afb940:1 Line 1 Column 41 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |  (parameter_declaration@Cpp~GCC5=1610#6afb9a0^1#6afb800:1 Line 1 Column 41 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   (basic_decl_specifier_seq@Cpp~GCC5=1070#6afbf40^1#6afb9a0:1 Line 1 Column 41 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   |(decl_specifier@Cpp~GCC5=1073#6afbfa0^1#6afbf40:1 Line 1 Column 41 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   | (trailing_type_specifier@Cpp~GCC5=1118#6afbfc0^1#6afbfa0:1 Line 1 Column 41 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   |  (simple_type_specifier@Cpp~GCC5=1140#6afb860^1#6afbfc0:1 Line 1 Column 41 File C:/temp/prime_with_templates.cpp)simple_type_specifier
   |   |   |   |   |   | )trailing_type_specifier#6afbfc0
   |   |   |   |   |   |)decl_specifier#6afbfa0
   |   |   |   |   |   )basic_decl_specifier_seq#6afbf40
   |   |   |   |   |  )parameter_declaration#6afb9a0
   |   |   |   |   | )pp_parameter_declaration_seq#6afb800
   |   |   |   |   |)pp_parameter_declaration_list#6afb940
   |   |   |   |   )parameter_declaration_clause#6afbd00
   |   |   |   |   (function_qualifiers@Cpp~GCC5=1438#6afbce0^1#6afbf80:3 Line 1 Column 46 File C:/temp/prime_with_templates.cpp)function_qualifiers
   |   |   |   |  )noptr_declarator#6afbf80
   |   |   |   | )ptr_declarator#6afbfe0
   |   |   |   |)function_head#6afbec0
   |   |   |   |(function_body@Cpp~GCC5=1680#6b04000^1#6b04020:2 Line 1 Column 46 File C:/temp/prime_with_templates.cpp
   |   |   |   | (compound_statement@Cpp~GCC5=888#6afbee0^1#6b04000:1 Line 1 Column 46 File C:/temp/prime_with_templates.cpp)compound_statement
   |   |   |   |)function_body#6b04000
   |   |   |   )function_definition#6b04020
   |   |   |  )member_declaration#6b04040
   |   |   | )member_declaration_or_access_specifier#6b04060
   |   |   | (member_declaration_or_access_specifier@Cpp~GCC5=1806#6b042c0^1#6b042e0:2 Line 1 Column 49 File C:/temp/prime_with_templates.cpp
   |   |   |  (member_declaration@Cpp~GCC5=1822#6b04820^1#6b042c0:1 Line 1 Column 49 File C:/temp/prime_with_templates.cpp
   |   |   |   (function_definition@Cpp~GCC5=1632#6b04280^1#6b04820:1 Line 1 Column 49 File C:/temp/prime_with_templates.cpp
   |   |   |   |(function_head@Cpp~GCC5=1674#6b04220^1#6b04280:1 Line 1 Column 49 File C:/temp/prime_with_templates.cpp
   |   |   |   | (basic_decl_specifier_seq@Cpp~GCC5=1070#6b040e0^1#6b04220:1 Line 1 Column 49 File C:/temp/prime_with_templates.cpp
   |   |   |   |  (decl_specifier@Cpp~GCC5=1073#6b040c0^1#6b040e0:1 Line 1 Column 49 File C:/temp/prime_with_templates.cpp
   |   |   |   |   (trailing_type_specifier@Cpp~GCC5=1118#6b040a0^1#6b040c0:1 Line 1 Column 49 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |(simple_type_specifier@Cpp~GCC5=1138#6b04080^1#6b040a0:1 Line 1 Column 49 File C:/temp/prime_with_templates.cpp)simple_type_specifier
   |   |   |   |   )trailing_type_specifier#6b040a0
   |   |   |   |  )decl_specifier#6b040c0
   |   |   |   | )basic_decl_specifier_seq#6b040e0
   |   |   |   | (ptr_declarator@Cpp~GCC5=1417#6b04200^1#6b04220:2 Line 1 Column 54 File C:/temp/prime_with_templates.cpp
   |   |   |   |  (noptr_declarator@Cpp~GCC5=1422#6b041e0^1#6b04200:1 Line 1 Column 54 File C:/temp/prime_with_templates.cpp
   |   |   |   |   (noptr_declarator@Cpp~GCC5=1421#6b041a0^1#6b041e0:1 Line 1 Column 54 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |(declarator_id@Cpp~GCC5=1487#6b04180^1#6b041a0:1 Line 1 Column 54 File C:/temp/prime_with_templates.cpp
   |   |   |   |   | (id_expression@Cpp~GCC5=317#6b04160^1#6b04180:1 Line 1 Column 54 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |  (unqualified_id@Cpp~GCC5=320#6b04140^1#6b04160:1 Line 1 Column 54 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   (operator_function_id@Cpp~GCC5=2027#6b04120^1#6b04140:1 Line 1 Column 54 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   |(operator@Cpp~GCC5=2070#6b04100^1#6b04120:1 Line 1 Column 62 File C:/temp/prime_with_templates.cpp)operator
   |   |   |   |   |   )operator_function_id#6b04120
   |   |   |   |   |  )unqualified_id#6b04140
   |   |   |   |   | )id_expression#6b04160
   |   |   |   |   |)declarator_id#6b04180
   |   |   |   |   )noptr_declarator#6b041a0
   |   |   |   |   (parameter_declaration_clause@Cpp~GCC5=1558#6afba40^1#6b041e0:2 Line 1 Column 65 File C:/temp/prime_with_templates.cpp)parameter_declaration_clause
   |   |   |   |   (function_qualifiers@Cpp~GCC5=1438#6b041c0^1#6b041e0:3 Line 1 Column 66 File C:/temp/prime_with_templates.cpp)function_qualifiers
   |   |   |   |  )noptr_declarator#6b041e0
   |   |   |   | )ptr_declarator#6b04200
   |   |   |   |)function_head#6b04220
   |   |   |   |(function_body@Cpp~GCC5=1680#6b04300^1#6b04280:2 Line 1 Column 66 File C:/temp/prime_with_templates.cpp
   |   |   |   | (compound_statement@Cpp~GCC5=889#6b04760^1#6b04300:1 Line 1 Column 66 File C:/temp/prime_with_templates.cpp
   |   |   |   |  (pp_statement_seq@Cpp~GCC5=894#6b04780^1#6b04760:1 Line 1 Column 67 File C:/temp/prime_with_templates.cpp
   |   |   |   |   (statement@Cpp~GCC5=857#6b04440^1#6b04780:1 Line 1 Column 67 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |(jump_statement@Cpp~GCC5=1011#6afba80^1#6b04440:1 Line 1 Column 67 File C:/temp/prime_with_templates.cpp
   |   |   |   |   | (pm_expression@Cpp~GCC5=551#6b04380^1#6afba80:1 Line 1 Column 74 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |  (cast_expression@Cpp~GCC5=543#6b04360^1#6b04380:1 Line 1 Column 74 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   (unary_expression@Cpp~GCC5=465#6b04340^1#6b04360:1 Line 1 Column 74 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   |(primary_expression@Cpp~GCC5=307#6b04320^1#6b04340:1 Line 1 Column 74 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   | (id_expression@Cpp~GCC5=317#6b042a0^1#6b04320:1 Line 1 Column 74 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   |  (unqualified_id@Cpp~GCC5=319#6b04260^1#6b042a0:1 Line 1 Column 74 File C:/temp/prime_with_templates.cpp
   |   |   |   |   |   |   (IDENTIFIER@Cpp~GCC5=3368#6b04240^1#6b04260:1[`V'] Line 1 Column 74 File C:/temp/prime_with_templates.cpp)IDENTIFIER
   |   |   |   |   |   |  )unqualified_id#6b04260
   |   |   |   |   |   | )id_expression#6b042a0
   |   |   |   |   |   |)primary_expression#6b04320
   |   |   |   |   |   )unary_expression#6b04340
   |   |   |   |   |  )cast_expression#6b04360
   |   |   |   |   | )pm_expression#6b04380
   |   |   |   |   |)jump_statement#6afba80
   |   |   |   |   )statement#6b04440
   |   |   |   |  )pp_statement_seq#6b04780
   |   |   |   | )compound_statement#6b04760
   |   |   |   |)function_body#6b04300
   |   |   |   )function_definition#6b04280
   |   |   |  )member_declaration#6b04820
   |   |   | )member_declaration_or_access_specifier#6b042c0
   |   |   |)member_specification#6b042e0
   |   |   )class_specifier#6b04880
   |   |  )type_specifier#6b048a0
   |   | )decl_specifier#6b048c0
   |   |)basic_decl_specifier_seq#6b048e0
   |   )simple_declaration#6b04900
   |  )block_declaration#6b04920
   | )declaration#6b04940
   |)template_declaration#6b04960
   )declaration#6b04980
  )pp_declaration_seq#6b049a0
  (pp_declaration_seq@Cpp~GCC5=1022#6b06620^1#6b06640:2 Line 3 Column 1 File C:/temp/prime_with_templates.cpp
   (declaration@Cpp~GCC5=1036#6b06600^1#6b06620:1 Line 3 Column 1 File C:/temp/prime_with_templates.cpp
   |(template_declaration@Cpp~GCC5=2079#6b065e0^1#6b06600:1 Line 3 Column 1 File C:/temp/prime_with_templates.cpp
   | (template_parameter_list@Cpp~GCC5=2083#6b05460^1#6b065e0:1 Line 3 Column 10 File C:/temp/prime_with_templates.cpp
   |  (template_parameter_list@Cpp~GCC5=2083#6b05140^1#6b05460:1 Line 3 Column 10 File C:/temp/prime_with_templates.cpp
   |   (template_parameter_list@Cpp~GCC5=2083#6b04ee0^1#6b05140:1 Line 3 Column 10 File C:/temp/prime_with_templates.cpp
   |   |(template_parameter_list@Cpp~GCC5=2082#6b04cc0^1#6b04ee0:1 Line 3 Column 10 File C:/temp/prime_with_templates.cpp
   |   | (template_parameter@Cpp~GCC5=2085#6b04ca0^1#6b04cc0:1 Line 3 Column 10 File C:/temp/prime_with_templates.cpp
   |   |  (parameter_declaration@Cpp~GCC5=1611#6b04c80^1#6b04ca0:1 Line 3 Column 10 File C:/temp/prime_with_templates.cpp
   |   |   (basic_decl_specifier_seq@Cpp~GCC5=1070#6b04a40^1#6b04c80:1 Line 3 Column 10 File C:/temp/prime_with_templates.cpp
   |   |   |(decl_specifier@Cpp~GCC5=1073#6b04a20^1#6b04a40:1 Line 3 Column 10 File C:/temp/prime_with_templates.cpp
   |   |   | (trailing_type_specifier@Cpp~GCC5=1118#6b04a00^1#6b04a20:1 Line 3 Column 10 File C:/temp/prime_with_templates.cpp
   |   |   |  (simple_type_specifier@Cpp~GCC5=1138#6b049e0^1#6b04a00:1 Line 3 Column 10 File C:/temp/prime_with_templates.cpp)simple_type_specifier
   |   |   | )trailing_type_specifier#6b04a00
   |   |   |)decl_specifier#6b04a20
   |   |   )basic_decl_specifier_seq#6b04a40
   |   |   (ptr_declarator@Cpp~GCC5=1417#6b04c40^1#6b04c80:2 Line 3 Column 15 File C:/temp/prime_with_templates.cpp
   |   |   |(noptr_declarator@Cpp~GCC5=1421#6b04be0^1#6b04c40:1 Line 3 Column 15 File C:/temp/prime_with_templates.cpp
   |   |   | (declarator_id@Cpp~GCC5=1487#6b04bc0^1#6b04be0:1 Line 3 Column 15 File C:/temp/prime_with_templates.cpp
   |   |   |  (id_expression@Cpp~GCC5=317#6b04b60^1#6b04bc0:1 Line 3 Column 15 File C:/temp/prime_with_templates.cpp
   |   |   |   (unqualified_id@Cpp~GCC5=319#6b04ac0^1#6b04b60:1 Line 3 Column 15 File C:/temp/prime_with_templates.cpp
   |   |   |   |(IDENTIFIER@Cpp~GCC5=3368#6b049c0^1#6b04ac0:1[`no'] Line 3 Column 15 File C:/temp/prime_with_templates.cpp)IDENTIFIER
   |   |   |   )unqualified_id#6b04ac0
   |   |   |  )id_expression#6b04b60
   |   |   | )declarator_id#6b04bc0
   |   |   |)noptr_declarator#6b04be0
   |   |   )ptr_declarator#6b04c40
   |   |  )parameter_declaration#6b04c80
   |   | )template_parameter#6b04ca0
   |   |)template_parameter_list#6b04cc0
   |   |(template_parameter@Cpp~GCC5=2085#6b04ec0^1#6b04ee0:2 Line 3 Column 19 File C:/temp/prime_with_templates.cpp
   |   | (parameter_declaration@Cpp~GCC5=1611#6b04ea0^1#6b04ec0:1 Line 3 Column 19 File C:/temp/prime_with_templates.cpp
   |   |  (basic_decl_specifier_seq@Cpp~GCC5=1070#6b04b40^1#6b04ea0:1 Line 3 Column 19 File C:/temp/prime_with_templates.cpp
   |   |   (decl_specifier@Cpp~GCC5=1073#6b04ba0^1#6b04b40:1 Line 3 Column 19 File C:/temp/prime_with_templates.cpp
   |   |   |(trailing_type_specifier@Cpp~GCC5=1118#6b04c60^1#6b04ba0:1 Line 3 Column 19 File C:/temp/prime_with_templates.cpp
   |   |   | (simple_type_specifier@Cpp~GCC5=1138#6b04580^1#6b04c60:1 Line 3 Column 19 File C:/temp/prime_with_templates.cpp)simple_type_specifier
   |   |   |)trailing_type_specifier#6b04c60
   |   |   )decl_specifier#6b04ba0
   |   |  )basic_decl_specifier_seq#6b04b40
   |   |  (ptr_declarator@Cpp~GCC5=1417#6b04e60^1#6b04ea0:2 Line 3 Column 24 File C:/temp/prime_with_templates.cpp
   |   |   (noptr_declarator@Cpp~GCC5=1421#6b04e40^1#6b04e60:1 Line 3 Column 24 File C:/temp/prime_with_templates.cpp
   |   |   |(declarator_id@Cpp~GCC5=1487#6b04de0^1#6b04e40:1 Line 3 Column 24 File C:/temp/prime_with_templates.cpp
   |   |   | (id_expression@Cpp~GCC5=317#6b04d80^1#6b04de0:1 Line 3 Column 24 File C:/temp/prime_with_templates.cpp
   |   |   |  (unqualified_id@Cpp~GCC5=319#6b04ce0^1#6b04d80:1 Line 3 Column 24 File C:/temp/prime_with_templates.cpp
   |   |   |   (IDENTIFIER@Cpp~GCC5=3368#6b04560^1#6b04ce0:1[`yes'] Line 3 Column 24 File C:/temp/prime_with_templates.cpp)IDENTIFIER
   |   |   |  )unqualified_id#6b04ce0
   |   |   | )id_expression#6b04d80
   |   |   |)declarator_id#6b04de0
   |   |   )noptr_declarator#6b04e40
   |   |  )ptr_declarator#6b04e60
   |   | )parameter_declaration#6b04ea0
   |   |)template_parameter#6b04ec0
   |   )template_parameter_list#6b04ee0
   |   (template_parameter@Cpp~GCC5=2085#6b05120^1#6b05140:2 Line 3 Column 29 File C:/temp/prime_with_templates.cpp
   |   |(parameter_declaration@Cpp~GCC5=1611#6b05100^1#6b05120:1 Line 3 Column 29 File C:/temp/prime_with_templates.cpp
   |   | (basic_decl_specifier_seq@Cpp~GCC5=1070#6b04d20^1#6b05100:1 Line 3 Column 29 File C:/temp/prime_with_templates.cpp
   |   |  (decl_specifier@Cpp~GCC5=1073#6b04dc0^1#6b04d20:1 Line 3 Column 29 File C:/temp/prime_with_templates.cpp
   |   |   (trailing_type_specifier@Cpp~GCC5=1118#6b04e80^1#6b04dc0:1 Line 3 Column 29 File C:/temp/prime_with_templates.cpp
   |   |   |(simple_type_specifier@Cpp~GCC5=1140#6b046e0^1#6b04e80:1 Line 3 Column 29 File C:/temp/prime_with_templates.cpp)simple_type_specifier
   |   |   )trailing_type_specifier#6b04e80
   |   |  )decl_specifier#6b04dc0
   |   | )basic_decl_specifier_seq#6b04d20
   |   | (ptr_declarator@Cpp~GCC5=1417#6b05080^1#6b05100:2 Line 3 Column 33 File C:/temp/prime_with_templates.cpp
   |   |  (noptr_declarator@Cpp~GCC5=1421#6b05020^1#6b05080:1 Line 3 Column 33 File C:/temp/prime_with_templates.cpp
   |   |   (declarator_id@Cpp~GCC5=1487#6b05000^1#6b05020:1 Line 3 Column 33 File C:/temp/prime_with_templates.cpp
   |   |   |(id_expression@Cpp~GCC5=317#6b04fa0^1#6b05000:1 Line 3 Column 33 File C:/temp/prime_with_templates.cpp
   |   |   | (unqualified_id@Cpp~GCC5=319#6b04f00^1#6b04fa0:1 Line 3 Column 33 File C:/temp/prime_with_templates.cpp
   |   |   |  (IDENTIFIER@Cpp~GCC5=3368#6b046c0^1#6b04f00:1[`f'] Line 3 Column 33 File C:/temp/prime_with_templates.cpp)IDENTIFIER
   |   |   | )unqualified_id#6b04f00
   |   |   |)id_expression#6b04fa0
   |   |   )declarator_id#6b05000
   |   |  )noptr_declarator#6b05020
   |   | )ptr_declarator#6b05080
   |   |)parameter_declaration#6b05100
   |   )template_parameter#6b05120
   |  )template_parameter_list#6b05140
   |  (template_parameter@Cpp~GCC5=2085#6b05440^1#6b05460:2 Line 3 Column 36 File C:/temp/prime_with_templates.cpp
   |   (parameter_declaration@Cpp~GCC5=1611#6b05420^1#6b05440:1 Line 3 Column 36 File C:/temp/prime_with_templates.cpp
   |   |(basic_decl_specifier_seq@Cpp~GCC5=1070#6b05160^1#6b05420:1 Line 3 Column 36 File C:/temp/prime_with_templates.cpp
   |   | (decl_specifier@Cpp~GCC5=1073#6b04fe0^1#6b05160:1 Line 3 Column 36 File C:/temp/prime_with_templates.cpp
   |   |  (trailing_type_specifier@Cpp~GCC5=1118#6b050e0^1#6b04fe0:1 Line 3 Column 36 File C:/temp/prime_with_templates.cpp
   |   |   (simple_type_specifier@Cpp~GCC5=1140#6b050c0^1#6b050e0:1 Line 3 Column 36 File C:/temp/prime_with_templates.cpp)simple_type_specifier
   |   |  )trailing_type_specifier#6b050e0
   |   | )decl_specifier#6b04fe0
   |   |)basic_decl_specifier_seq#6b05160
   |   |(ptr_declarator@Cpp~GCC5=1417#6b053e0^1#6b05420:2 Line 3 Column 40 File C:/temp/prime_with_templates.cpp
   |   | (noptr_declarator@Cpp~GCC5=1421#6b053c0^1#6b053e0:1 Line 3 Column 40 File C:/temp/prime_with_templates.cpp
   |   |  (declarator_id@Cpp~GCC5=1487#6b05360^1#6b053c0:1 Line 3 Column 40 File C:/temp/prime_with_templates.cpp
   |   |   (id_expression@Cpp~GCC5=317#6b05280^1#6b05360:1 Line 3 Column 40 File C:/temp/prime_with_templates.cpp
   |   |   |(unqualified_id@Cpp~GCC5=319#6b051a0^1#6b05280:1 Line 3 Column 40 File C:/temp/prime_with_templates.cpp
   |   |   | (IDENTIFIER@Cpp~GCC5=3368#6b046a0^1#6b051a0:1[`p'] Line 3 Column 40 File C:/temp/prime_with_templates.cpp)IDENTIFIER
   |   |   |)unqualified_id#6b051a0
   |   |   )id_expression#6b05280
   |   |  )declarator_id#6b05360
   |   | )noptr_declarator#6b053c0
   |   |)ptr_declarator#6b053e0
   |   )parameter_declaration#6b05420
   |  )template_parameter#6b05440
   | )template_parameter_list#6b05460