We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6c95d45 commit e921723Copy full SHA for e921723
godel-script/godel-frontend/src/sema/ungrounded_checker.cpp
@@ -681,6 +681,8 @@ bool ungrounded_parameter_checker::visit_call_root(call_root* node) {
681
return true;
682
}
683
for(auto i : node->get_call_chain()) {
684
+ // if souffle aggregator is used in the call chain,
685
+ // all variables used in this call is not grounded
686
if (i->is_aggregator() && !i->is_aggregator_find()) {
687
688
0 commit comments