diff --git a/web/server/codechecker_server/api/report_server.py b/web/server/codechecker_server/api/report_server.py index 73ec60033b..6085c23b3e 100644 --- a/web/server/codechecker_server/api/report_server.py +++ b/web/server/codechecker_server/api/report_server.py @@ -2089,6 +2089,13 @@ def getRunResults(self, run_ids, limit, offset, sort_types, sort_type_map, order_type_map) + # Most queries are using paging of reports due their great + # number. This is implemented by LIMIT and OFFSET in the SQL + # queries. However, if there is no ordering in the query, then + # the reports in different pages may overlap. This ordering + # prevents it. + q = q.order_by(Report.id) + if report_filter.annotations is not None: annotations = defaultdict(list) for annotation in report_filter.annotations: