Skip to content

Commit 18fd2d5

Browse files
author
Christian Schafmeisterr
committed
Ran static analyzer
1 parent 86aab65 commit 18fd2d5

File tree

1 file changed

+64
-5
lines changed

1 file changed

+64
-5
lines changed

‎src/analysis/clasp_gc_cando.sif‎

Lines changed: 64 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -202,11 +202,11 @@
202202
"core::SimpleVector_int64_t_O" "llvmo::ConstantDataSequential_O"
203203
"chem::SuperposeEngine_O" "comp::EntryFixup_O"
204204
"core::MDArray_short_float_O"
205-
"chem::BeyondThresholdFixedNonbondRestraint" "units::NamedUnit_O"
206-
"core::MDArray_double_O" "llvmo::StoreInst_O" "llvmo::DebugLoc_O"
207-
"chem::ResidueList_O" "core::WeakPointer_O" "core::DestDynEnv_O"
208-
"chem::EnergyNonbond" "comp::Annotation_O" "core::DynEnv_O"
209-
"core::BytecodeAstBlock_O" "comp::LexSetFixup_O"
205+
"chem::BeyondThresholdFixedNonbondRestraint" "chem::AtomGrid_O"
206+
"units::NamedUnit_O" "core::MDArray_double_O" "llvmo::StoreInst_O"
207+
"llvmo::DebugLoc_O" "chem::ResidueList_O" "core::WeakPointer_O"
208+
"core::DestDynEnv_O" "chem::EnergyNonbond" "comp::Annotation_O"
209+
"core::DynEnv_O" "core::BytecodeAstBlock_O" "comp::LexSetFixup_O"
210210
"core::SimpleMDArray_byte8_t_O" "core::UnwindProtectDynEnv_O"
211211
"comp::SymbolMacroVarInfo_O" "chem::VirtualSphere_O"
212212
"chem::ProperTorsion_O" "chem::IterateResidues_O" "comp::LexicalInfo_O"
@@ -928,6 +928,9 @@
928928
{fixed-field :offset-type-cxx-identifier "ctype_double" :offset-ctype "double"
929929
:offset-base-ctype "chem::EnergyNonbond_O"
930930
:layout-offset-field-names ("_Nonbond_r_cut")}
931+
{fixed-field :offset-type-cxx-identifier "ctype_double" :offset-ctype "double"
932+
:offset-base-ctype "chem::EnergyNonbond_O"
933+
:layout-offset-field-names ("_Nonbond_r_pairlist")}
931934
{fixed-field :offset-type-cxx-identifier "ctype_double" :offset-ctype "double"
932935
:offset-base-ctype "chem::EnergyNonbond_O"
933936
:layout-offset-field-names ("_Nonbond_invdd")}
@@ -1042,6 +1045,9 @@
10421045
{fixed-field :offset-type-cxx-identifier "ctype_double" :offset-ctype "double"
10431046
:offset-base-ctype "chem::EnergyPeriodicBoundaryConditionsNonbond_O"
10441047
:layout-offset-field-names ("_Nonbond_r_cut")}
1048+
{fixed-field :offset-type-cxx-identifier "ctype_double" :offset-ctype "double"
1049+
:offset-base-ctype "chem::EnergyPeriodicBoundaryConditionsNonbond_O"
1050+
:layout-offset-field-names ("_Nonbond_r_pairlist")}
10451051
{fixed-field :offset-type-cxx-identifier "ctype_double" :offset-ctype "double"
10461052
:offset-base-ctype "chem::EnergyPeriodicBoundaryConditionsNonbond_O"
10471053
:layout-offset-field-names ("_Nonbond_invdd")}
@@ -1555,6 +1561,49 @@
15551561
:offset-base-ctype "chem::VirtualSphere_O" :layout-offset-field-names ("_Recalculate")}
15561562
{fixed-field :offset-type-cxx-identifier "ctype_double" :offset-ctype "double"
15571563
:offset-base-ctype "chem::VirtualSphere_O" :layout-offset-field-names ("_Scale")}
1564+
{class-kind :stamp-name "STAMPWTAG_chem__AtomGrid_O" :stamp-key "chem::AtomGrid_O"
1565+
:parent-class "core::CxxObject_O" :lisp-class-base "core::CxxObject_O"
1566+
:root-class "core::T_O" :stamp-wtag 3 :definition-data "IS_POLYMORPHIC"}
1567+
{fixed-field :offset-type-cxx-identifier "ctype_double" :offset-ctype "double"
1568+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_OriginX")}
1569+
{fixed-field :offset-type-cxx-identifier "ctype_double" :offset-ctype "double"
1570+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_OriginY")}
1571+
{fixed-field :offset-type-cxx-identifier "ctype_double" :offset-ctype "double"
1572+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_OriginZ")}
1573+
{fixed-field :offset-type-cxx-identifier "ctype_double" :offset-ctype "double"
1574+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_CellSize")}
1575+
{fixed-field :offset-type-cxx-identifier "ctype_unsigned_long" :offset-ctype "unsigned long"
1576+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_Nx")}
1577+
{fixed-field :offset-type-cxx-identifier "ctype_unsigned_long" :offset-ctype "unsigned long"
1578+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_Ny")}
1579+
{fixed-field :offset-type-cxx-identifier "ctype_unsigned_long" :offset-ctype "unsigned long"
1580+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_Nz")}
1581+
{fixed-field :offset-type-cxx-identifier "TAGGED_POINTER_OFFSET"
1582+
:offset-ctype "gctools::tagged_pointer<gctools::GCVector_moveable<gctools::smart_ptr<core::T_O>>>"
1583+
:offset-base-ctype "chem::AtomGrid_O"
1584+
:layout-offset-field-names ("_Cells" "._Vector" "._Contents")}
1585+
{fixed-field :offset-type-cxx-identifier "TAGGED_POINTER_OFFSET"
1586+
:offset-ctype "gctools::tagged_pointer<gctools::GCVector_moveable<double>>"
1587+
:offset-base-ctype "chem::AtomGrid_O"
1588+
:layout-offset-field-names ("_CellMaxRadius" "._Vector" "._Contents")}
1589+
{fixed-field :offset-type-cxx-identifier "SMART_PTR_OFFSET"
1590+
:offset-ctype "gctools::smart_ptr<core::SimpleVector_double_O>"
1591+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_Positions")}
1592+
{fixed-field :offset-type-cxx-identifier "SMART_PTR_OFFSET"
1593+
:offset-ctype "gctools::smart_ptr<core::SimpleVector_double_O>"
1594+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_EffRadii")}
1595+
{fixed-field :offset-type-cxx-identifier "SMART_PTR_OFFSET"
1596+
:offset-ctype "gctools::smart_ptr<core::ComplexVector_double_O>"
1597+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_HeapBounds")}
1598+
{fixed-field :offset-type-cxx-identifier "SMART_PTR_OFFSET"
1599+
:offset-ctype "gctools::smart_ptr<core::ComplexVector_size_t_O>"
1600+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_HeapCells")}
1601+
{fixed-field :offset-type-cxx-identifier "ctype_unsigned_char" :offset-ctype "unsigned char"
1602+
:offset-base-ctype "chem::AtomGrid_O" :layout-offset-field-names ("_VisitedFlag")}
1603+
{fixed-field :offset-type-cxx-identifier "TAGGED_POINTER_OFFSET"
1604+
:offset-ctype "gctools::tagged_pointer<gctools::GCVector_moveable<unsigned char>>"
1605+
:offset-base-ctype "chem::AtomGrid_O"
1606+
:layout-offset-field-names ("_Visited" "._Vector" "._Contents")}
15581607
{class-kind :stamp-name "STAMPWTAG_chem__TwisterDriver_O" :stamp-key "chem::TwisterDriver_O"
15591608
:parent-class "core::CxxObject_O" :lisp-class-base "core::CxxObject_O"
15601609
:root-class "core::T_O" :stamp-wtag 3 :definition-data "IS_POLYMORPHIC"}
@@ -11542,6 +11591,16 @@
1154211591
{variable-field :offset-type-cxx-identifier "ctype_float" :fixup-ctype-offset-type-key "float"
1154311592
:fixup-ctype-key "chem::EnergyOutOfZPlane"
1154411593
:layout-offset-field-names ("term" ".za")}
11594+
{container-kind :stamp-name "STAMPWTAG_gctools__GCVector_moveable_unsigned_char_"
11595+
:stamp-key "gctools::GCVector_moveable<unsigned char>"
11596+
:parent-class "gctools::GCContainer" :lisp-class-base nil
11597+
:root-class "gctools::GCContainer" :stamp-wtag 3 :definition-data "0"}
11598+
{variable-array0 :offset-base-ctype "gctools::GCVector_moveable<unsigned char>"
11599+
:field-names ("_Data")}
11600+
{variable-capacity :ctype "unsigned char"
11601+
:offset-base-ctype "gctools::GCVector_moveable<unsigned char>"
11602+
:length-field-names ("_Capacity") :end-field-names ("_End")}
11603+
{variable-field-only :offset-type-cxx-identifier "ctype_unsigned_char" :fixup-type "unsigned char"}
1154511604
{container-kind :stamp-name "STAMPWTAG_gctools__GCVector_moveable_gctools__smart_ptr_chem__ConformationExplorerEntryStage_O__"
1154611605
:stamp-key "gctools::GCVector_moveable<gctools::smart_ptr<chem::ConformationExplorerEntryStage_O>>"
1154711606
:parent-class "gctools::GCContainer" :lisp-class-base nil

0 commit comments

Comments
 (0)