Skip to content

Commit

Permalink
Ran static analyzer
Browse files Browse the repository at this point in the history
  • Loading branch information
@Bike
Bike committed Sep 25, 2023
1 parent 6deac7c commit d24c2f4
Show file tree
Hide file tree
Showing 2 changed files with 47 additions and 33 deletions.
33 changes: 20 additions & 13 deletions src/analysis/clasp_gc.sif
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,8 @@
"comp::LoadTimeValueInfo_O" "core::SimpleMDArray_double_O"
"core::Complex_O" "core::TagbodyDynEnv_O" "llvmo::ConstantPointerNull_O"
"llvmo::VectorType_O" "llvmo::ValueAsMetadata_O" "llvmo::ConstantExpr_O"
"core::GFBytecodeSimpleFun_O" "llvmo::StructType_O" "core::RandomState_O"
"core::VariableCell_O" "core::GFBytecodeSimpleFun_O"
"llvmo::StructType_O" "core::RandomState_O"
"core::ComplexVector_int16_t_O" "core::SimpleMDArray_float_O"
"llvmo::Target_O" "core::SimpleVector_int2_t_O" "comp::LocalFunInfo_O"
"core::MDArray_byte64_t_O" "core::SimpleVector_fixnum_O"
Expand Down Expand Up @@ -656,8 +657,8 @@
:parent-class "core::DynEnv_O" :lisp-class-base "core::DynEnv_O"
:root-class "core::T_O" :stamp-wtag 3 :definition-data "IS_POLYMORPHIC"}
{fixed-field :offset-type-cxx-identifier "SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::Symbol_O>"
:offset-base-ctype "core::BindingDynEnv_O" :layout-offset-field-names ("sym")}
:offset-ctype "gctools::smart_ptr<core::VariableCell_O>"
:offset-base-ctype "core::BindingDynEnv_O" :layout-offset-field-names ("cell")}
{fixed-field :offset-type-cxx-identifier "SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::T_O>"
:offset-base-ctype "core::BindingDynEnv_O" :layout-offset-field-names ("old")}
Expand Down Expand Up @@ -3351,17 +3352,14 @@
:offset-ctype "gctools::smart_ptr<core::T_O>" :offset-base-ctype "core::Symbol_O"
:layout-offset-field-names ("_HomePackage")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::T_O>" :offset-base-ctype "core::Symbol_O"
:layout-offset-field-names ("_GlobalValue")}
:offset-ctype "gctools::smart_ptr<core::VariableCell_O>"
:offset-base-ctype "core::Symbol_O" :layout-offset-field-names ("_Value")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::FunctionCell_O>"
:offset-base-ctype "core::Symbol_O" :layout-offset-field-names ("_Function")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::FunctionCell_O>"
:offset-base-ctype "core::Symbol_O" :layout-offset-field-names ("_SetfFunction")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_POD_OFFSET_unsigned_int"
:offset-ctype "unsigned int" :offset-base-ctype "core::Symbol_O"
:layout-offset-field-names ("_BindingIdx")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_POD_OFFSET_unsigned_int"
:offset-ctype "unsigned int" :offset-base-ctype "core::Symbol_O"
:layout-offset-field-names ("_Flags")}
Expand All @@ -3378,17 +3376,14 @@
:offset-ctype "gctools::smart_ptr<core::T_O>" :offset-base-ctype "core::Null_O"
:layout-offset-field-names ("_HomePackage")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::T_O>" :offset-base-ctype "core::Null_O"
:layout-offset-field-names ("_GlobalValue")}
:offset-ctype "gctools::smart_ptr<core::VariableCell_O>"
:offset-base-ctype "core::Null_O" :layout-offset-field-names ("_Value")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::FunctionCell_O>"
:offset-base-ctype "core::Null_O" :layout-offset-field-names ("_Function")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::FunctionCell_O>"
:offset-base-ctype "core::Null_O" :layout-offset-field-names ("_SetfFunction")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_POD_OFFSET_unsigned_int"
:offset-ctype "unsigned int" :offset-base-ctype "core::Null_O"
:layout-offset-field-names ("_BindingIdx")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_POD_OFFSET_unsigned_int"
:offset-ctype "unsigned int" :offset-base-ctype "core::Null_O"
:layout-offset-field-names ("_Flags")}
Expand Down Expand Up @@ -4603,6 +4598,18 @@
{class-kind :stamp-name "STAMPWTAG_core__RandomState_O" :stamp-key "core::RandomState_O"
:parent-class "core::General_O" :lisp-class-base "core::General_O"
:root-class "core::T_O" :stamp-wtag 3 :definition-data "IS_POLYMORPHIC"}
{class-kind :stamp-name "STAMPWTAG_core__VariableCell_O" :stamp-key "core::VariableCell_O"
:parent-class "core::General_O" :lisp-class-base "core::General_O"
:root-class "core::T_O" :stamp-wtag 3 :definition-data "IS_POLYMORPHIC"}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::T_O>"
:offset-base-ctype "core::VariableCell_O" :layout-offset-field-names ("_GlobalValue")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_POD_OFFSET_unsigned_int"
:offset-ctype "unsigned int" :offset-base-ctype "core::VariableCell_O"
:layout-offset-field-names ("_BindingIdx")}
{fixed-field :offset-type-cxx-identifier "SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::T_O>"
:offset-base-ctype "core::VariableCell_O" :layout-offset-field-names ("_Name")}
{class-kind :stamp-name "STAMPWTAG_comp__LoadTimeValueInfo_O"
:stamp-key "comp::LoadTimeValueInfo_O" :parent-class "core::General_O"
:lisp-class-base "core::General_O" :root-class "core::T_O" :stamp-wtag 3
Expand Down
47 changes: 27 additions & 20 deletions src/analysis/clasp_gc_cando.sif
View file
Original file line number Diff line number Diff line change
Expand Up @@ -73,14 +73,15 @@
"chem::ConformationCollectionEntry_O" "core::TagbodyDynEnv_O"
"geom::OMatrix_O" "llvmo::ValueAsMetadata_O" "chem::EnergyDihedral"
"llvmo::ConstantPointerNull_O" "llvmo::ConstantExpr_O"
"llvmo::VectorType_O" "chem::FFStretch_O" "chem::IterateRestraints_O"
"chem::FFNonbondDb_O" "llvmo::StructType_O" "chem::EnergyNonbond_O"
"core::ComplexVector_int16_t_O" "chem::EnergySketchNonbond_O"
"core::GFBytecodeSimpleFun_O" "core::SimpleMDArray_float_O"
"chem::Residue_O" "chem::CalculatePosition_O"
"chem::SuperposeSelectedAtoms_O" "llvmo::Target_O" "core::RandomState_O"
"core::SimpleVector_int2_t_O" "chem::AtomReferenceBase_O"
"comp::LocalFunInfo_O" "core::MDArray_byte64_t_O" "chem::ForceField_O"
"core::VariableCell_O" "llvmo::VectorType_O" "chem::FFStretch_O"
"chem::IterateRestraints_O" "chem::FFNonbondDb_O" "llvmo::StructType_O"
"chem::EnergyNonbond_O" "core::ComplexVector_int16_t_O"
"chem::EnergySketchNonbond_O" "core::GFBytecodeSimpleFun_O"
"core::SimpleMDArray_float_O" "chem::Residue_O"
"chem::CalculatePosition_O" "chem::SuperposeSelectedAtoms_O"
"llvmo::Target_O" "core::RandomState_O" "core::SimpleVector_int2_t_O"
"chem::AtomReferenceBase_O" "comp::LocalFunInfo_O"
"core::MDArray_byte64_t_O" "chem::ForceField_O"
"core::SimpleVector_fixnum_O" "core::SimpleVector_byte32_t_O"
"core::AnsiStream_O" "chem::EnergyRigidBodyStaple"
"core::KeywordArgument" "llvmo::Module_O" "llvmo::DIExpression_O"
Expand Down Expand Up @@ -321,8 +322,8 @@
:parent-class "core::DynEnv_O" :lisp-class-base "core::DynEnv_O"
:root-class "core::T_O" :stamp-wtag 3 :definition-data "IS_POLYMORPHIC"}
{fixed-field :offset-type-cxx-identifier "SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::Symbol_O>"
:offset-base-ctype "core::BindingDynEnv_O" :layout-offset-field-names ("sym")}
:offset-ctype "gctools::smart_ptr<core::VariableCell_O>"
:offset-base-ctype "core::BindingDynEnv_O" :layout-offset-field-names ("cell")}
{fixed-field :offset-type-cxx-identifier "SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::T_O>"
:offset-base-ctype "core::BindingDynEnv_O" :layout-offset-field-names ("old")}
Expand Down Expand Up @@ -5448,17 +5449,14 @@
:offset-ctype "gctools::smart_ptr<core::T_O>" :offset-base-ctype "core::Symbol_O"
:layout-offset-field-names ("_HomePackage")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::T_O>" :offset-base-ctype "core::Symbol_O"
:layout-offset-field-names ("_GlobalValue")}
:offset-ctype "gctools::smart_ptr<core::VariableCell_O>"
:offset-base-ctype "core::Symbol_O" :layout-offset-field-names ("_Value")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::FunctionCell_O>"
:offset-base-ctype "core::Symbol_O" :layout-offset-field-names ("_Function")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::FunctionCell_O>"
:offset-base-ctype "core::Symbol_O" :layout-offset-field-names ("_SetfFunction")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_POD_OFFSET_unsigned_int"
:offset-ctype "unsigned int" :offset-base-ctype "core::Symbol_O"
:layout-offset-field-names ("_BindingIdx")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_POD_OFFSET_unsigned_int"
:offset-ctype "unsigned int" :offset-base-ctype "core::Symbol_O"
:layout-offset-field-names ("_Flags")}
Expand All @@ -5475,17 +5473,14 @@
:offset-ctype "gctools::smart_ptr<core::T_O>" :offset-base-ctype "core::Null_O"
:layout-offset-field-names ("_HomePackage")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::T_O>" :offset-base-ctype "core::Null_O"
:layout-offset-field-names ("_GlobalValue")}
:offset-ctype "gctools::smart_ptr<core::VariableCell_O>"
:offset-base-ctype "core::Null_O" :layout-offset-field-names ("_Value")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::FunctionCell_O>"
:offset-base-ctype "core::Null_O" :layout-offset-field-names ("_Function")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::FunctionCell_O>"
:offset-base-ctype "core::Null_O" :layout-offset-field-names ("_SetfFunction")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_POD_OFFSET_unsigned_int"
:offset-ctype "unsigned int" :offset-base-ctype "core::Null_O"
:layout-offset-field-names ("_BindingIdx")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_POD_OFFSET_unsigned_int"
:offset-ctype "unsigned int" :offset-base-ctype "core::Null_O"
:layout-offset-field-names ("_Flags")}
Expand Down Expand Up @@ -9661,6 +9656,18 @@
:offset-base-ctype "core::DebuggerFrame_O" :layout-offset-field-names ("down")}
{fixed-field :offset-type-cxx-identifier "ctype__Bool" :offset-ctype "_Bool"
:offset-base-ctype "core::DebuggerFrame_O" :layout-offset-field-names ("is_xep")}
{class-kind :stamp-name "STAMPWTAG_core__VariableCell_O" :stamp-key "core::VariableCell_O"
:parent-class "core::General_O" :lisp-class-base "core::General_O"
:root-class "core::T_O" :stamp-wtag 3 :definition-data "IS_POLYMORPHIC"}
{fixed-field :offset-type-cxx-identifier "ATOMIC_SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::T_O>"
:offset-base-ctype "core::VariableCell_O" :layout-offset-field-names ("_GlobalValue")}
{fixed-field :offset-type-cxx-identifier "ATOMIC_POD_OFFSET_unsigned_int"
:offset-ctype "unsigned int" :offset-base-ctype "core::VariableCell_O"
:layout-offset-field-names ("_BindingIdx")}
{fixed-field :offset-type-cxx-identifier "SMART_PTR_OFFSET"
:offset-ctype "gctools::smart_ptr<core::T_O>"
:offset-base-ctype "core::VariableCell_O" :layout-offset-field-names ("_Name")}
{class-kind :stamp-name "STAMPWTAG_comp__LoadTimeValueInfo_O"
:stamp-key "comp::LoadTimeValueInfo_O" :parent-class "core::General_O"
:lisp-class-base "core::General_O" :root-class "core::T_O" :stamp-wtag 3
Expand Down

0 comments on commit d24c2f4

Please sign in to comment.