llvm/llvm-project

hasAnyArgument() spuriously ignores match

Open

#75.754 aperta il 17 dic 2023

Vedi su GitHub
 (18 commenti) (0 reazioni) (1 assegnatario)C++ (10.782 fork)batch import
clang-queryclang:frontendconfirmedgood first issue

Metriche repository

Star
 (26.378 star)
Metriche merge PR
 (Merge medio 1g 2h) (1000 PR mergiate in 30 g)

Descrizione

hasAnyArgument() spuriously ignores a match with the program:

void foo (void *, void *);

struct S {
};

void f() {
   S s;
   foo(&s, &s);
}

and the query:

m callExpr(hasAnyArgument(hasType(asString("S *"))))
0 matches.

However, the query:

m callExpr(hasArgument(0,hasType(asString("S *"))))

returns the expected result:

...clang_ast_bug_2.cpp:10:2: note: "root" binds here
 10 |         foo(&s, &s);
      |         ^~~~~~~~~~~
1 match.

I am using clang-query 17.0.2 built, I believe, by Mozilla.

Guida contributor

Direzione di ricerca
Confronta le implementazioni di hasAnyArgument e hasArgument in Clang's ASTMatchers per scoprire perché hasAnyArgument fallisce per gli argomenti puntatore.
Tech stack
cpp
Dominio
api
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
3-5 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
C++clang AST matchers
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40