Change report ID columns to BIGINT to avoid 32-bit integer overflow

web/server/codechecker_server/database/run_db_model.py

@@ -13,8 +13,9 @@
 import os
 from typing import Optional
 
-from sqlalchemy import Boolean, Column, DateTime, Enum, ForeignKey, Integer, \
-    LargeBinary, MetaData, String, UniqueConstraint, Table, Text, JSON
+from sqlalchemy import BigInteger, Boolean, Column, DateTime, Enum, \
+    ForeignKey, Integer, LargeBinary, MetaData, String, UniqueConstraint, \
+    Table, Text, JSON
 from sqlalchemy.ext.declarative import declarative_base
 from sqlalchemy.orm import relationship
 from sqlalchemy.sql.expression import true, false
@@ -277,9 +278,9 @@ class BugPathEvent(Base):
     file_id = Column(Integer, ForeignKey('files.id', deferrable=True,
                                          initially="DEFERRED",
                                          ondelete='CASCADE'), index=True)
-    report_id = Column(Integer, ForeignKey('reports.id', deferrable=True,
-                                           initially="DEFERRED",
-                                           ondelete='CASCADE'),
+    report_id = Column(BigInteger, ForeignKey('reports.id', deferrable=True,
+                                              initially="DEFERRED",
+                                              ondelete='CASCADE'),
                        index=True,
                        primary_key=True)
 
@@ -307,9 +308,9 @@ class BugReportPoint(Base):
     file_id = Column(Integer, ForeignKey('files.id', deferrable=True,
                                          initially="DEFERRED",
                                          ondelete='CASCADE'), index=True)
-    report_id = Column(Integer, ForeignKey('reports.id', deferrable=True,
-                                           initially="DEFERRED",
-                                           ondelete='CASCADE'),
+    report_id = Column(BigInteger, ForeignKey('reports.id', deferrable=True,
+                                              initially="DEFERRED",
+                                              ondelete='CASCADE'),
                        index=True,
                        primary_key=True)
 
@@ -331,9 +332,9 @@ class ExtendedReportData(Base):
 
     id = Column(Integer, autoincrement=True, primary_key=True)
 
-    report_id = Column(Integer, ForeignKey('reports.id', deferrable=True,
-                                           initially="DEFERRED",
-                                           ondelete='CASCADE'),
+    report_id = Column(BigInteger, ForeignKey('reports.id', deferrable=True,
+                                              initially="DEFERRED",
+                                              ondelete='CASCADE'),
                        index=True)
 
     file_id = Column(Integer, ForeignKey('files.id', deferrable=True,
@@ -370,7 +371,7 @@ def __init__(self, line_begin, col_begin, line_end, col_end,
     Base.metadata,
     Column(
         'report_id',
-        Integer,
+        BigInteger,
         ForeignKey('reports.id',
                    deferrable=True,
                    initially="DEFERRED",
@@ -391,7 +392,7 @@ def __init__(self, line_begin, col_begin, line_end, col_end,
 class Report(Base):
     __tablename__ = 'reports'
 
-    id = Column(Integer, autoincrement=True, primary_key=True)
+    id = Column(BigInteger, autoincrement=True, primary_key=True)
     file_id = Column(Integer, ForeignKey('files.id', deferrable=True,
                                          initially="DEFERRED",
                                          ondelete='CASCADE'),
@@ -497,7 +498,7 @@ def __init__(self, report_id: int, key: str, value: str):
         self.value = value
 
     report_id = Column(
-        Integer,
+        BigInteger,
         ForeignKey("reports.id", ondelete="CASCADE"),
         primary_key=True,
         index=True)

web/server/codechecker_server/migrations/report/versions/a7f3c8e21b90_report_id_bigint.py

@@ -0,0 +1,73 @@
+"""
+Report id bigint
+
+Revision ID: a7f3c8e21b90
+Revises:     24c9660f82b1
+Create Date: 2026-06-30 00:00:00.000000
+"""
+
+from alembic import op
+import sqlalchemy as sa
+
+
+# Revision identifiers, used by Alembic.
+revision = 'a7f3c8e21b90'
+down_revision = '24c9660f82b1'
+branch_labels = None
+depends_on = None
+
+
+REPORT_ID_FK_TABLES = [
+  ('bug_path_events', False),
+  ('bug_report_points', False),
+  ('extended_report_data', False),
+  ('report_analysis_info', True),
+  ('report_annotations', False),
+]
+
+
+def _alter_report_id_columns(type_, existing_type):
+    for table, nullable in REPORT_ID_FK_TABLES:
+        op.alter_column(
+            table,
+            'report_id',
+            existing_type=existing_type,
+            type_=type_,
+            existing_nullable=nullable)
+
+
+def upgrade():
+    ctx = op.get_context()
+    dialect = ctx.dialect.name
+
+    if dialect == 'postgresql':
+        _alter_report_id_columns(sa.BigInteger(), sa.Integer())
+        op.alter_column(
+            'reports',
+            'id',
+            existing_type=sa.Integer(),
+            type_=sa.BigInteger(),
+            existing_nullable=False,
+            autoincrement=True)
+        op.execute(sa.text('ALTER SEQUENCE reports_id_seq AS BIGINT'))
+    elif dialect == 'sqlite':
+        # SQLite INTEGER columns already store 64-bit signed integers.
+        pass
+
+
+def downgrade():
+    ctx = op.get_context()
+    dialect = ctx.dialect.name
+
+    if dialect == 'postgresql':
+        _alter_report_id_columns(sa.Integer(), sa.BigInteger())
+        op.alter_column(
+            'reports',
+            'id',
+            existing_type=sa.BigInteger(),
+            type_=sa.Integer(),
+            existing_nullable=False,
+            autoincrement=True)
+        op.execute(sa.text('ALTER SEQUENCE reports_id_seq AS INTEGER'))
+    elif dialect == 'sqlite':
+        pass