Expcompare (p.goblint-cil.2.0.7.doc.goblint-cil.GoblintCil.Expcompare)

module E = Errormsg

Sourceval isConstType : Cil.typ -> bool

Sourceval compareExp : Cil.exp -> Cil.exp -> bool

Sourceval compareLval : Cil.lval -> Cil.lval -> bool

Sourceval stripNopCasts : Cil.exp -> Cil.exp

Sourceval compareExpStripCasts : Cil.exp -> Cil.exp -> bool

Sourceval stripCastsForPtrArith : Cil.exp -> Cil.exp

val compareTypes : 
  ?ignoreSign:??? ->
  ?importantAttr:??? ->
  Cil.typ ->
  Cil.typ ->
  bool

Sourceval compareTypesNoAttributes : ?ignoreSign:??? -> Cil.typ -> Cil.typ -> bool

Sourceclass volatileFinderClass : bool ref -> object ... end

Sourceval isTypeVolatile : Cil.typ -> bool

Sourceval stripCastsDeepForPtrArith : Cil.exp -> Cil.exp

Sourceval stripCastsForPtrArithLval : Cil.lval -> Cil.lval

Sourceval stripCastsForPtrArithOff : Cil.offset -> Cil.offset

Sourceval compareExpDeepStripCasts : Cil.exp -> Cil.exp -> bool

Sourceval compareAttrParam : Cil.attrparam -> Cil.attrparam -> bool