Parsed function:LoadFileData.isra.0
Parsed function:ELF_PrintSections
Parsed function:ELF_SectLoad
Parsed function:ELF_SectFindName
Parsed function:ELF_ProgSectLoad
Parsed function:ELF_ProgSectFindNext
Parsed function:ELF_Close
Parsed function:ELF_Open
Parsed function:ELF_FreePtr
Parsed function:ELF_LoadTables
Parsed function:buf_read
Parsed function:ELF32_SectLoad
Parsed function:ELF32_SectFindName
Parsed function:ELF32_ProgSectLoad
Parsed function:ELF32_ProgSectFindNext
Parsed function:ELF32_Load
Parsed function:ELF32_HeaderSwitchEndianness
Parsed function:ELF32_LoadTables
Dump after hash based groups
Congruence classes: 18 (unique hash values: 18), with total: 18 items
Class size histogram [num of members]: number of classe number of classess
[1]: 18 classes


Dump after WPA based types groups
Congruence classes: 18 (unique hash values: 18), with total: 18 items
Class size histogram [num of members]: number of classe number of classess
[1]: 18 classes


Worklist has been filled with: 11
Address reference subdivision created: 0 new classes.
Dump after callgraph-based congruence reduction
Congruence classes: 18 (unique hash values: 18), with total: 18 items
Class size histogram [num of members]: number of classe number of classess
[1]: 18 classes


Init called for 0 items (0.00%).
Dump after full equality comparison of groups
Congruence classes: 18 (unique hash values: 18), with total: 18 items
Class size histogram [num of members]: number of classe number of classess
[1]: 18 classes


Worklist has been filled with: 11
Address reference subdivision created: 0 new classes.
Congruence classes: 18 (unique hash values: 18), with total: 18 items
Class size histogram [num of members]: number of classe number of classess
[1]: 18 classes



Item count: 18
Congruent classes before: 18, after: 18
Average class size before: 1.00, after: 1.00
Average non-singular class size: 0.00, count: 0
Equal symbols: 0
Fraction of visited symbols: 0.00%

LoadFileData.isra.0 (const void * const ISRA.16, uint32_t u32Offset, uint32_t u32Size, void * pvDestMem)
{
  bool_t bSuccess;
  const void * _2;
  long unsigned int _6;

  <bb 5> [local count: 1073741824]:
  # DEBUG pElfFile s=> pElfFile

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG bSuccess => 0
  # DEBUG BEGIN_STMT
  _2 = ISRA.16_10(D);
  _6 = buf_read (_2, u32Offset_3(D), pvDestMem_4(D), u32Size_5(D));
  if (u32Size_5(D) != _6)
    goto <bb 4>; [66.00%]
  else
    goto <bb 3>; [34.00%]

  <bb 3> [local count: 365072220]:
  # DEBUG BEGIN_STMT
  # DEBUG bSuccess => 1

  <bb 4> [local count: 1073741824]:
  # bSuccess_7 = PHI <0(2), 1(3)>
  # DEBUG bSuccess => bSuccess_7
  # DEBUG BEGIN_STMT
  return bSuccess_7;

}


ELF_PrintSections (const struct ELF_File_t * pElfFile)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG pElfFile => NULL
  return;

}


ELF_SectLoad (const struct ELF_File_t * pElfFile, uint32_t u32SectIdx, addr_t AccessAddr, addr_t AllocSize)
{
  bool_t bRetVal;
  signed int u32SectIdx.4_1;
  unsigned char _2;
  long unsigned int _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 0
  # DEBUG BEGIN_STMT
  u32SectIdx.4_1 = (signed int) u32SectIdx_6(D);
  if (u32SectIdx.4_1 >= 0)
    goto <bb 5>; [59.00%]
  else
    goto <bb 3>; [41.00%]

  <bb 3> [local count: 440234148]:
  # DEBUG BEGIN_STMT
  _2 = pElfFile_8(D)->bIs64Bit;
  if (_2 == 1)
    goto <bb 5>; [51.12%]
  else
    goto <bb 4>; [48.88%]

  <bb 4> [local count: 215186451]:
  # DEBUG BEGIN_STMT
  _3 = u32SectIdx_6(D) & 2147483647;
  bRetVal_12 = ELF32_SectLoad (pElfFile_8(D), _3, AccessAddr_9(D), AllocSize_10(D));
  # DEBUG bRetVal => bRetVal_12

  <bb 5> [local count: 1073741824]:
  # bRetVal_4 = PHI <0(2), 0(3), bRetVal_12(4)>
  # DEBUG bRetVal => bRetVal_4
  # DEBUG BEGIN_STMT
  return bRetVal_4;

}


ELF_SectFindName (const struct ELF_File_t * pElfFile, const char_t * szSectionName, uint32_t * pu32SectIdx, uint64_t * pu64LoadAddr, uint64_t * pu64Length)
{
  bool_t bRetVal;
  unsigned char _1;
  long unsigned int _2;
  long unsigned int _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 0
  # DEBUG BEGIN_STMT
  _1 = pElfFile_7(D)->bIs64Bit;
  if (_1 == 1)
    goto <bb 4>; [51.12%]
  else
    goto <bb 3>; [48.88%]

  <bb 3> [local count: 524845004]:
  # DEBUG BEGIN_STMT
  bRetVal_13 = ELF32_SectFindName (pElfFile_7(D), szSectionName_8(D), pu32SectIdx_9(D), pu64LoadAddr_10(D), pu64Length_11(D));
  # DEBUG bRetVal => bRetVal_13

  <bb 4> [local count: 1073741824]:
  # bRetVal_4 = PHI <0(2), bRetVal_13(3)>
  # DEBUG bRetVal => bRetVal_4
  # DEBUG BEGIN_STMT
  _2 = *pu32SectIdx_9(D);
  _3 = _2 | 2147483648;
  *pu32SectIdx_9(D) = _3;
  # DEBUG BEGIN_STMT
  return bRetVal_4;

}


ELF_ProgSectLoad (const struct ELF_File_t * pElfFile, uint32_t u32ProgIdx, addr_t AccessAddr, addr_t AllocSize)
{
  bool_t bRetVal;
  signed int u32ProgIdx.2_1;
  unsigned char _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 0
  # DEBUG BEGIN_STMT
  u32ProgIdx.2_1 = (signed int) u32ProgIdx_5(D);
  if (u32ProgIdx.2_1 < 0)
    goto <bb 5>; [41.00%]
  else
    goto <bb 3>; [59.00%]

  <bb 3> [local count: 633507677]:
  # DEBUG BEGIN_STMT
  _2 = pElfFile_7(D)->bIs64Bit;
  if (_2 == 1)
    goto <bb 5>; [51.12%]
  else
    goto <bb 4>; [48.88%]

  <bb 4> [local count: 309658552]:
  # DEBUG BEGIN_STMT
  bRetVal_11 = ELF32_ProgSectLoad (pElfFile_7(D), u32ProgIdx_5(D), AccessAddr_8(D), AllocSize_9(D));
  # DEBUG bRetVal => bRetVal_11

  <bb 5> [local count: 1073741824]:
  # bRetVal_3 = PHI <0(2), 0(3), bRetVal_11(4)>
  # DEBUG bRetVal => bRetVal_3
  # DEBUG BEGIN_STMT
  return bRetVal_3;

}


ELF_ProgSectFindNext (struct ELF_File_t * pElfFile, uint32_t * pu32ProgIdx, uint64_t * pu64LoadVAddr, uint64_t * pu64LoadPAddr, uint64_t * pu64Length)
{
  bool_t bRetVal;
  unsigned char _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 0
  # DEBUG BEGIN_STMT
  _1 = pElfFile_5(D)->bIs64Bit;
  if (_1 == 1)
    goto <bb 4>; [51.12%]
  else
    goto <bb 3>; [48.88%]

  <bb 3> [local count: 524845004]:
  # DEBUG BEGIN_STMT
  bRetVal_11 = ELF32_ProgSectFindNext (pElfFile_5(D), pu32ProgIdx_6(D), pu64LoadVAddr_7(D), pu64LoadPAddr_8(D), pu64Length_9(D));
  # DEBUG bRetVal => bRetVal_11

  <bb 4> [local count: 1073741824]:
  # bRetVal_2 = PHI <0(2), bRetVal_11(3)>
  # DEBUG bRetVal => bRetVal_2
  # DEBUG BEGIN_STMT
  return bRetVal_2;

}


ELF_Close (struct ELF_File_t * pElfFile)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  ELF_FreePtr (pElfFile_2(D));
  return;

}


ELF_Open (struct ELF_File_t * pElfFile, const void * pvFile)
{
  uint32_t u32NamesSectionSize;
  uint32_t u32NamesSectionOffset;
  bool_t bRetVal;
  struct Elf64_Ehdr * _1;
  long unsigned int _2;
  unsigned int _3;
  unsigned char _4;
  const void * _5;
  long unsigned int u32NamesSectionOffset.0_6;
  int8_t * _7;
  unsigned char _32;
  _Bool _33;
  unsigned char _34;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 0
  # DEBUG BEGIN_STMT
  u32NamesSectionOffset = 0;
  # DEBUG BEGIN_STMT
  u32NamesSectionSize = 0;
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->arProgHead64 = 0B;
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->arSectHead64 = 0B;
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->arProgHead32 = 0B;
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->arSectHead32 = 0B;
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->acSectNames = 0B;
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->pvData = 0B;
  # DEBUG BEGIN_STMT
  _1 = &pElfFile_14(D)->Header.r64;
  _2 = buf_read (pvFile_21(D), 0, _1, 64);
  if (_2 != 64)
    goto <bb 10>; [66.00%]
  else
    goto <bb 4>; [34.00%]

  <bb 4> [local count: 365072220]:
  # DEBUG BEGIN_STMT
  _3 = BIT_FIELD_REF <*pElfFile_14(D), 32, 0>;
  if (_3 != 1179403647)
    goto <bb 10>; [66.00%]
  else
    goto <bb 6>; [34.00%]

  <bb 6> [local count: 124124555]:
  _4 = pElfFile_14(D)->Header.e_ident[6];
  if (_4 != 1)
    goto <bb 10>; [79.76%]
  else
    goto <bb 8>; [20.24%]

  <bb 8> [local count: 25122810]:
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->pvData = pvFile_21(D);
  # DEBUG BEGIN_STMT
  _32 = MEM[(union  *)pElfFile_14(D) + 4B];
  # DEBUG D#1 => pElfFile_14(D)
  # DEBUG INLINE_ENTRY ELF_Is64bit
  # DEBUG pElfFile => D#1
  # DEBUG BEGIN_STMT
  _33 = _32 == 2;
  _34 = (unsigned char) _33;
  pElfFile_14(D)->bIs64Bit = _34;
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->u32ProgScanIdx = 0;
  # DEBUG BEGIN_STMT
  bRetVal_27 = ELF_LoadTables (pElfFile_14(D), &u32NamesSectionOffset, &u32NamesSectionSize);
  # DEBUG bRetVal => bRetVal_27
  # DEBUG BEGIN_STMT
  if (bRetVal_27 == 1)
    goto <bb 9>; [34.00%]
  else
    goto <bb 10>; [66.00%]

  <bb 9> [local count: 8541755]:
  # DEBUG BEGIN_STMT
  _5 = pElfFile_14(D)->pvData;
  u32NamesSectionOffset.0_6 = u32NamesSectionOffset;
  _7 = _5 + u32NamesSectionOffset.0_6;
  pElfFile_14(D)->acSectNames = _7;
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 1
  # DEBUG BEGIN_STMT
  goto <bb 12>; [100.00%]

  <bb 10> [local count: 1065200070]:
  # bRetVal_8 = PHI <bRetVal_27(8), 0(2), 0(6), 0(4)>
  # DEBUG bRetVal => bRetVal_8
  # DEBUG BEGIN_STMT
  if (bRetVal_8 == 0)
    goto <bb 11>; [33.00%]
  else
    goto <bb 12>; [67.00%]

  <bb 11> [local count: 351516023]:
  # DEBUG BEGIN_STMT
  ELF_FreePtr (pElfFile_14(D));

  <bb 12> [local count: 1073741824]:
  # bRetVal_35 = PHI <bRetVal_8(10), 0(11), 1(9)>
  # DEBUG BEGIN_STMT
  u32NamesSectionOffset ={v} {CLOBBER};
  u32NamesSectionSize ={v} {CLOBBER};
  return bRetVal_35;

}


ELF_FreePtr (struct ELF_File_t * pElfFile)
{
  struct Elf64_Phdr * _1;
  struct Elf64_Shdr * _2;
  struct Elf32_Phdr * _3;
  struct Elf32_Shdr * _4;
  int8_t * _5;
  const void * _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = pElfFile_14(D)->arProgHead64;
  if (_1 != 0B)
    goto <bb 3>; [70.00%]
  else
    goto <bb 4>; [30.00%]

  <bb 3> [local count: 751619278]:
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->arProgHead64 = 0B;

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _2 = pElfFile_14(D)->arSectHead64;
  if (_2 != 0B)
    goto <bb 5>; [70.00%]
  else
    goto <bb 6>; [30.00%]

  <bb 5> [local count: 751619278]:
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->arSectHead64 = 0B;

  <bb 6> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _3 = pElfFile_14(D)->arProgHead32;
  if (_3 != 0B)
    goto <bb 7>; [70.00%]
  else
    goto <bb 8>; [30.00%]

  <bb 7> [local count: 751619278]:
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->arProgHead32 = 0B;

  <bb 8> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _4 = pElfFile_14(D)->arSectHead32;
  if (_4 != 0B)
    goto <bb 9>; [70.00%]
  else
    goto <bb 10>; [30.00%]

  <bb 9> [local count: 751619278]:
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->arSectHead32 = 0B;

  <bb 10> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _5 = pElfFile_14(D)->acSectNames;
  if (_5 != 0B)
    goto <bb 11>; [70.00%]
  else
    goto <bb 12>; [30.00%]

  <bb 11> [local count: 751619278]:
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->acSectNames = 0B;

  <bb 12> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _6 = pElfFile_14(D)->pvData;
  if (_6 != 0B)
    goto <bb 13>; [70.00%]
  else
    goto <bb 14>; [30.00%]

  <bb 13> [local count: 751619278]:
  # DEBUG BEGIN_STMT
  pElfFile_14(D)->pvData = 0B;

  <bb 14> [local count: 1073741824]:
  return;

}


ELF_LoadTables (struct ELF_File_t * pElfFile, uint32_t * u32NamesSectionOffset, uint32_t * u32NamesSectionSize)
{
  bool_t bRetVal;
  unsigned char _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 0
  # DEBUG BEGIN_STMT
  _1 = pElfFile_5(D)->bIs64Bit;
  if (_1 == 1)
    goto <bb 4>; [51.12%]
  else
    goto <bb 3>; [48.88%]

  <bb 3> [local count: 524845004]:
  # DEBUG BEGIN_STMT
  bRetVal_9 = ELF32_Load (pElfFile_5(D), u32NamesSectionOffset_6(D), u32NamesSectionSize_7(D));
  # DEBUG bRetVal => bRetVal_9

  <bb 4> [local count: 1073741824]:
  # bRetVal_2 = PHI <0(2), bRetVal_9(3)>
  # DEBUG bRetVal => bRetVal_2
  # DEBUG BEGIN_STMT
  return bRetVal_2;

}


buf_read (const void * src_buf, uint32_t u32Offset, void * dst_buf, uint32_t nbytes)
{
  uint8_t * pu8dst;
  const uint8_t * pu8src;
  uint32_t u32i;
  long unsigned int src_buf.1_1;
  long unsigned int _2;
  unsigned char _3;

  <bb 2> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  # DEBUG u32i => 0
  # DEBUG BEGIN_STMT
  src_buf.1_1 = (long unsigned int) src_buf_8(D);
  _2 = src_buf.1_1 + u32Offset_9(D);
  pu8src_10 = (const uint8_t *) _2;
  # DEBUG pu8src => pu8src_10
  # DEBUG BEGIN_STMT
  # DEBUG pu8dst => dst_buf_11(D)
  # DEBUG BEGIN_STMT
  # DEBUG u32i => 0
  goto <bb 4>; [100.00%]

  <bb 3> [local count: 955630223]:
  # DEBUG BEGIN_STMT
  _3 = *pu8src_5;
  *pu8dst_6 = _3;
  # DEBUG BEGIN_STMT
  pu8dst_16 = pu8dst_6 + 1;
  # DEBUG pu8dst => pu8dst_16
  # DEBUG BEGIN_STMT
  pu8src_17 = pu8src_5 + 1;
  # DEBUG pu8src => pu8src_17
  # DEBUG BEGIN_STMT
  u32i_18 = u32i_4 + 1;
  # DEBUG u32i => u32i_18

  <bb 4> [local count: 1073741824]:
  # u32i_4 = PHI <0(2), u32i_18(3)>
  # pu8src_5 = PHI <pu8src_10(2), pu8src_17(3)>
  # pu8dst_6 = PHI <dst_buf_11(D)(2), pu8dst_16(3)>
  # DEBUG pu8dst => pu8dst_6
  # DEBUG pu8src => pu8src_5
  # DEBUG u32i => u32i_4
  # DEBUG BEGIN_STMT
  if (u32i_4 < nbytes_13(D))
    goto <bb 3>; [89.00%]
  else
    goto <bb 5>; [11.00%]

  <bb 5> [local count: 118111601]:
  # u32i_14 = PHI <u32i_4(4)>
  # DEBUG BEGIN_STMT
  return u32i_14;

}


ELF32_SectLoad (const struct ELF_File_t * pElfFile, uint32_t u32SectIdx, addr_t AccessAddr, addr_t AllocSize)
{
  bool_t bSuccess;
  short unsigned int _1;
  long unsigned int _2;
  struct Elf32_Shdr * _3;
  long unsigned int _4;
  struct Elf32_Shdr * _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  long unsigned int _23;
  long unsigned int _24;
  long unsigned int _25;
  void * AccessAddr.5_26;
  long unsigned int _27;
  long unsigned int _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;
  long unsigned int _34;
  long unsigned int _35;
  long unsigned int _36;
  void * AccessAddr.6_37;
  unsigned char _38;
  const void * _48;

  <bb 2> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  # DEBUG bSuccess => 0
  # DEBUG BEGIN_STMT
  _1 = pElfFile_42(D)->Header.r32.e_shnum;
  _2 = (long unsigned int) _1;
  if (_2 <= u32SectIdx_43(D))
    goto <bb 8>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870911]:
  # DEBUG BEGIN_STMT
  _3 = pElfFile_42(D)->arSectHead32;
  _4 = u32SectIdx_43(D) * 40;
  _5 = _3 + _4;
  _6 = _5->sh_size;
  _7 = _6 >> 24;
  _8 = _6 << 24;
  _9 = _7 | _8;
  _10 = _6 >> 8;
  _11 = _10 & 65280;
  _12 = _9 | _11;
  _13 = _6 << 8;
  _14 = _13 & 16711680;
  _15 = _12 | _14;
  if (_15 > AllocSize_44(D))
    goto <bb 8>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 4> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _16 = _5->sh_type;
  _17 = _16 >> 24;
  _18 = _16 << 24;
  _19 = _17 | _18;
  _20 = _16 >> 8;
  _21 = _20 & 65280;
  _22 = _19 | _21;
  _23 = _16 << 8;
  _24 = _23 & 16711680;
  _25 = _22 | _24;
  if (_25 == 8)
    goto <bb 5>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 5> [local count: 91268055]:
  # DEBUG BEGIN_STMT
  AccessAddr.5_26 = (void *) AccessAddr_45(D);
  memset (AccessAddr.5_26, 0, _15);
  # DEBUG BEGIN_STMT
  # DEBUG bSuccess => 1
  goto <bb 8>; [100.00%]

  <bb 6> [local count: 177167401]:
  # DEBUG BEGIN_STMT
  _27 = _5->sh_offset;
  _28 = _27 >> 24;
  _29 = _27 << 24;
  _30 = _28 | _29;
  _31 = _27 >> 8;
  _32 = _31 & 65280;
  _33 = _30 | _32;
  _34 = _27 << 8;
  _35 = _34 & 16711680;
  _36 = _33 | _35;
  AccessAddr.6_37 = (void *) AccessAddr_45(D);
  _48 = MEM[(const void * *)pElfFile_42(D) + 92B];
  # DEBUG D#3 => pElfFile_42(D)
  _38 = LoadFileData.isra.0 (_48, _36, _15, AccessAddr.6_37);
  if (_38 == 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 7> [local count: 88583700]:
  # DEBUG BEGIN_STMT
  # DEBUG bSuccess => 1

  <bb 8> [local count: 1073741824]:
  # bSuccess_39 = PHI <0(2), 0(3), 1(5), 0(6), 1(7)>
  # DEBUG bSuccess => bSuccess_39
  # DEBUG BEGIN_STMT
  return bSuccess_39;

}


ELF32_SectFindName (const struct ELF_File_t * pElfFile, const char_t * szSectionName, uint32_t * pu32SectIdx, uint64_t * pu64LoadAddr, uint64_t * pu64Length)
{
  uint32_t SectIdx;
  bool_t bRetVal;
  int8_t * _1;
  struct Elf32_Shdr * _2;
  long unsigned int _3;
  struct Elf32_Shdr * _4;
  long unsigned int _5;
  long unsigned int _6;
  struct Elf32_Shdr * _7;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  int8_t * _17;
  int _18;
  long unsigned int _19;
  long unsigned int _20;
  long long unsigned int _21;
  long long unsigned int _22;
  long long unsigned int _23;
  long long unsigned int _24;
  long long unsigned int _25;
  long long unsigned int _26;
  long long unsigned int _27;
  long long unsigned int _28;
  long long unsigned int _29;
  long long unsigned int _30;
  long long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;
  long long unsigned int _34;
  long long unsigned int _35;
  long long unsigned int _36;
  long long unsigned int _37;
  long long unsigned int _38;
  long long unsigned int _39;
  long long unsigned int _40;
  long long unsigned int _41;
  long long unsigned int _42;
  long long unsigned int _43;
  long long unsigned int _44;
  short unsigned int _45;
  long unsigned int _46;

  <bb 2> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 0
  # DEBUG BEGIN_STMT
  # DEBUG bFound => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG SectIdx => 0
  goto <bb 12>; [100.00%]

  <bb 3> [local count: 1014686025]:
  # DEBUG BEGIN_STMT
  _1 = pElfFile_53(D)->acSectNames;
  _2 = pElfFile_53(D)->arSectHead32;
  _3 = SectIdx_48 * 40;
  _4 = _2 + _3;
  _5 = _4->sh_name;
  _6 = _5 >> 24;
  _9 = _5 << 24;
  _10 = _6 | _9;
  _11 = _5 >> 8;
  _12 = _11 & 65280;
  _13 = _10 | _12;
  _14 = _5 << 8;
  _15 = _14 & 16711680;
  _16 = _13 | _15;
  _17 = _1 + _16;
  _18 = strcmp (_17, szSectionName_54(D));
  if (_18 == 0)
    goto <bb 4>; [5.50%]
  else
    goto <bb 11>; [94.50%]

  <bb 4> [local count: 55807731]:
  # _7 = PHI <_4(3)>
  # SectIdx_8 = PHI <SectIdx_48(3)>
  # DEBUG BEGIN_STMT
  if (pu32SectIdx_56(D) != 0B)
    goto <bb 5>; [70.00%]
  else
    goto <bb 6>; [30.00%]

  <bb 5> [local count: 39065412]:
  # DEBUG BEGIN_STMT
  *pu32SectIdx_56(D) = SectIdx_8;

  <bb 6> [local count: 55807731]:
  # DEBUG BEGIN_STMT
  if (pu64Length_58(D) != 0B)
    goto <bb 7>; [70.00%]
  else
    goto <bb 8>; [30.00%]

  <bb 7> [local count: 39065412]:
  # DEBUG BEGIN_STMT
  _19 = _7->sh_size;
  _20 = _19 >> 24;
  _21 = (long long unsigned int) _20;
  _22 = (long long unsigned int) _19;
  _23 = _22 << 24;
  _24 = _23 & 4294967295;
  _25 = _21 | _24;
  _26 = _22 >> 8;
  _27 = _26 & 65280;
  _28 = _25 | _27;
  _29 = _22 << 8;
  _30 = _29 & 16711680;
  _31 = _28 | _30;
  *pu64Length_58(D) = _31;

  <bb 8> [local count: 55807731]:
  # DEBUG BEGIN_STMT
  if (pu64LoadAddr_60(D) != 0B)
    goto <bb 9>; [70.00%]
  else
    goto <bb 13>; [30.00%]

  <bb 9> [local count: 39065412]:
  # DEBUG BEGIN_STMT
  _32 = _7->sh_addr;
  _33 = _32 >> 24;
  _34 = (long long unsigned int) _33;
  _35 = (long long unsigned int) _32;
  _36 = _35 << 24;
  _37 = _36 & 4294967295;
  _38 = _34 | _37;
  _39 = _35 >> 8;
  _40 = _39 & 65280;
  _41 = _38 | _40;
  _42 = _35 << 8;
  _43 = _42 & 16711680;
  _44 = _41 | _43;
  *pu64LoadAddr_60(D) = _44;
  goto <bb 13>; [100.00%]

  <bb 11> [local count: 958878293]:
  # DEBUG BEGIN_STMT
  SectIdx_55 = SectIdx_48 + 1;
  # DEBUG SectIdx => SectIdx_55

  <bb 12> [local count: 1073741824]:
  # SectIdx_48 = PHI <0(2), SectIdx_55(11)>
  # DEBUG SectIdx => SectIdx_48
  # DEBUG BEGIN_STMT
  _45 = pElfFile_53(D)->Header.r32.e_shnum;
  _46 = (long unsigned int) _45;
  if (_46 > SectIdx_48)
    goto <bb 3>; [94.50%]
  else
    goto <bb 13>; [5.50%]

  <bb 13> [local count: 114863532]:
  # bRetVal_47 = PHI <0(12), 1(9), 1(8)>
  # DEBUG bFound => NULL
  # DEBUG bRetVal => bRetVal_47
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return bRetVal_47;

}


ELF32_ProgSectLoad (const struct ELF_File_t * pElfFile, uint32_t u32ProgIdx, addr_t AccessAddr, addr_t AllocSize)
{
  bool_t bSuccess;
  short unsigned int _1;
  long unsigned int _2;
  struct Elf32_Phdr * _3;
  long unsigned int _4;
  struct Elf32_Phdr * _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  long unsigned int _23;
  long unsigned int _24;
  long unsigned int _25;
  long unsigned int _26;
  long unsigned int _27;
  long unsigned int _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;
  long unsigned int _34;
  long unsigned int _35;
  long unsigned int _36;
  long unsigned int _37;
  long unsigned int _38;
  long unsigned int _39;
  long unsigned int _40;
  long unsigned int _41;
  long unsigned int _42;
  long unsigned int _43;
  long unsigned int _44;
  long unsigned int _45;
  void * AccessAddr.3_46;
  unsigned char _47;
  struct Elf32_Phdr * _48;
  struct Elf32_Phdr * _49;
  long unsigned int _50;
  long unsigned int _51;
  long unsigned int _52;
  long unsigned int _53;
  long unsigned int _54;
  long unsigned int _55;
  long unsigned int _56;
  long unsigned int _57;
  long unsigned int _58;
  long unsigned int _59;
  long unsigned int _60;
  long unsigned int _61;
  long unsigned int _62;
  long unsigned int _63;
  long unsigned int _64;
  long unsigned int _65;
  long unsigned int _66;
  long unsigned int _67;
  long unsigned int _68;
  long unsigned int _69;
  long unsigned int _70;
  void * _71;
  long unsigned int _72;
  const void * _82;

  <bb 2> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  # DEBUG bSuccess => 0
  # DEBUG BEGIN_STMT
  _1 = pElfFile_76(D)->Header.r32.e_phnum;
  _2 = (long unsigned int) _1;
  if (_2 <= u32ProgIdx_77(D))
    goto <bb 13>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870911]:
  # DEBUG BEGIN_STMT
  _3 = pElfFile_76(D)->arProgHead32;
  _4 = u32ProgIdx_77(D) * 32;
  _5 = _3 + _4;
  _6 = _5->p_type;
  _7 = _6 >> 24;
  _8 = _6 << 24;
  _9 = _7 | _8;
  _10 = _6 >> 8;
  _11 = _10 & 65280;
  _12 = _9 | _11;
  _13 = _6 << 8;
  _14 = _13 & 16711680;
  _15 = _12 | _14;
  if (_15 != 1)
    goto <bb 13>; [66.00%]
  else
    goto <bb 4>; [34.00%]

  <bb 4> [local count: 182536110]:
  # DEBUG BEGIN_STMT
  _16 = _5->p_memsz;
  _17 = _16 >> 24;
  _18 = _16 << 24;
  _19 = _17 | _18;
  _20 = _16 >> 8;
  _21 = _20 & 65280;
  _22 = _19 | _21;
  _23 = _16 << 8;
  _24 = _23 & 16711680;
  _25 = _22 | _24;
  if (_25 > AllocSize_78(D))
    goto <bb 13>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 5> [local count: 91268055]:
  # DEBUG BEGIN_STMT
  _26 = _5->p_filesz;
  _27 = _26 >> 24;
  _28 = _26 << 24;
  _29 = _27 | _28;
  _30 = _26 >> 8;
  _31 = _30 & 65280;
  _32 = _29 | _31;
  _33 = _26 << 8;
  _34 = _33 & 16711680;
  _35 = _32 | _34;
  if (_25 < _35)
    goto <bb 13>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 6> [local count: 45634027]:
  # DEBUG BEGIN_STMT
  if (_35 != 0)
    goto <bb 7>; [33.00%]
  else
    goto <bb 11>; [67.00%]

  <bb 7> [local count: 15059229]:
  # DEBUG BEGIN_STMT
  _36 = _5->p_offset;
  _37 = _36 >> 24;
  _38 = _36 << 24;
  _39 = _37 | _38;
  _40 = _36 >> 8;
  _41 = _40 & 65280;
  _42 = _39 | _41;
  _43 = _36 << 8;
  _44 = _43 & 16711680;
  _45 = _42 | _44;
  AccessAddr.3_46 = (void *) AccessAddr_79(D);
  _82 = MEM[(const void * *)pElfFile_76(D) + 92B];
  # DEBUG D#3 => pElfFile_76(D)
  _47 = LoadFileData.isra.0 (_82, _45, _35, AccessAddr.3_46);
  if (_47 == 0)
    goto <bb 13>; [50.00%]
  else
    goto <bb 11>; [50.00%]

  <bb 11> [local count: 38104413]:
  # DEBUG bSuccess => NULL
  _48 = pElfFile_76(D)->arProgHead32;
  _49 = _48 + _4;
  _50 = _49->p_memsz;
  _51 = _50 >> 24;
  _52 = _50 << 24;
  _53 = _51 | _52;
  _54 = _50 >> 8;
  _55 = _54 & 65280;
  _56 = _53 | _55;
  _57 = _50 << 8;
  _58 = _57 & 16711680;
  _59 = _56 | _58;
  _60 = _49->p_filesz;
  _61 = _60 >> 24;
  _62 = _60 << 24;
  _63 = _61 | _62;
  _64 = _60 >> 8;
  _65 = _64 & 65280;
  _66 = _63 | _65;
  _67 = _60 << 8;
  _68 = _67 & 16711680;
  _69 = _66 | _68;
  if (_59 > _69)
    goto <bb 12>; [33.00%]
  else
    goto <bb 13>; [67.00%]

  <bb 12> [local count: 12574456]:
  # DEBUG BEGIN_STMT
  _70 = _69 + AccessAddr_79(D);
  _71 = (void *) _70;
  _72 = _59 - _69;
  memset (_71, 0, _72);

  <bb 13> [local count: 1073741824]:
  # bSuccess_73 = PHI <0(2), 0(3), 0(4), 0(5), 0(7), 1(11), 1(12)>
  # DEBUG bSuccess => bSuccess_73
  # DEBUG BEGIN_STMT
  return bSuccess_73;

}


ELF32_ProgSectFindNext (struct ELF_File_t * pElfFile, uint32_t * pu32ProgIdx, uint64_t * pu64LoadVAddr, uint64_t * pu64LoadPAddr, uint64_t * pu64Length)
{
  bool_t bRetVal;
  struct Elf32_Phdr * _1;
  struct Elf32_Phdr * _2;
  long unsigned int _3;
  struct Elf32_Phdr * _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  long unsigned int _23;
  long unsigned int _24;
  long unsigned int _25;
  long unsigned int _26;
  long unsigned int _27;
  struct Elf32_Phdr * _28;
  long unsigned int _29;
  long unsigned int _30;
  long long unsigned int _31;
  long long unsigned int _32;
  long long unsigned int _33;
  long long unsigned int _34;
  long long unsigned int _35;
  long long unsigned int _36;
  long long unsigned int _37;
  long long unsigned int _38;
  long long unsigned int _39;
  long long unsigned int _40;
  long long unsigned int _41;
  long unsigned int _42;
  long unsigned int _43;
  struct Elf32_Phdr * _44;
  long unsigned int _45;
  long unsigned int _46;
  long long unsigned int _47;
  long long unsigned int _48;
  long long unsigned int _49;
  long long unsigned int _50;
  long long unsigned int _51;
  long long unsigned int _52;
  long long unsigned int _53;
  long long unsigned int _54;
  long long unsigned int _55;
  long long unsigned int _56;
  long long unsigned int _57;
  long unsigned int _58;
  long unsigned int _59;
  struct Elf32_Phdr * _60;
  long unsigned int _61;
  long unsigned int _62;
  long long unsigned int _63;
  long long unsigned int _64;
  long long unsigned int _65;
  long long unsigned int _66;
  long long unsigned int _67;
  long long unsigned int _68;
  long long unsigned int _69;
  long long unsigned int _70;
  long long unsigned int _71;
  long long unsigned int _72;
  long long unsigned int _73;
  long unsigned int _74;
  long unsigned int _75;
  long unsigned int _76;
  long unsigned int _77;
  short unsigned int _78;
  long unsigned int _79;

  <bb 2> [local count: 78030430]:
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 0
  # DEBUG BEGIN_STMT
  goto <bb 15>; [100.00%]

  <bb 3> [local count: 1014686025]:
  # DEBUG BEGIN_STMT
  _1 = pElfFile_88(D)->arProgHead32;
  _3 = _77 * 32;
  _4 = _1 + _3;
  _5 = _4->p_type;
  _6 = _5 >> 24;
  _8 = _5 << 24;
  _9 = _6 | _8;
  _10 = _5 >> 8;
  _11 = _10 & 65280;
  _12 = _9 | _11;
  _13 = _5 << 8;
  _14 = _13 & 16711680;
  _15 = _12 | _14;
  if (_15 == 1)
    goto <bb 4>; [34.00%]
  else
    goto <bb 14>; [66.00%]

  <bb 4> [local count: 344993248]:
  _16 = _4->p_memsz;
  _17 = _16 >> 24;
  _18 = _16 << 24;
  _19 = _17 | _18;
  _20 = _16 >> 8;
  _21 = _20 & 65280;
  _22 = _19 | _21;
  _23 = _16 << 8;
  _24 = _23 & 16711680;
  _25 = _22 | _24;
  if (_25 != 0)
    goto <bb 5>; [5.50%]
  else
    goto <bb 14>; [94.50%]

  <bb 5> [local count: 18974629]:
  # _2 = PHI <_1(4)>
  # _7 = PHI <_77(4)>
  # DEBUG BEGIN_STMT
  if (pu32ProgIdx_89(D) != 0B)
    goto <bb 6>; [70.00%]
  else
    goto <bb 7>; [30.00%]

  <bb 6> [local count: 13282240]:
  # DEBUG BEGIN_STMT
  *pu32ProgIdx_89(D) = _7;

  <bb 7> [local count: 18974629]:
  # DEBUG BEGIN_STMT
  if (pu64LoadVAddr_91(D) != 0B)
    goto <bb 8>; [70.00%]
  else
    goto <bb 9>; [30.00%]

  <bb 8> [local count: 13282240]:
  # DEBUG BEGIN_STMT
  _26 = pElfFile_88(D)->u32ProgScanIdx;
  _27 = _26 * 32;
  _28 = _2 + _27;
  _29 = _28->p_vaddr;
  _30 = _29 >> 24;
  _31 = (long long unsigned int) _30;
  _32 = (long long unsigned int) _29;
  _33 = _32 << 24;
  _34 = _33 & 4294967295;
  _35 = _31 | _34;
  _36 = _32 >> 8;
  _37 = _36 & 65280;
  _38 = _35 | _37;
  _39 = _32 << 8;
  _40 = _39 & 16711680;
  _41 = _38 | _40;
  *pu64LoadVAddr_91(D) = _41;

  <bb 9> [local count: 18974629]:
  # DEBUG BEGIN_STMT
  if (pu64LoadPAddr_93(D) != 0B)
    goto <bb 10>; [70.00%]
  else
    goto <bb 11>; [30.00%]

  <bb 10> [local count: 13282240]:
  # DEBUG BEGIN_STMT
  _42 = pElfFile_88(D)->u32ProgScanIdx;
  _43 = _42 * 32;
  _44 = _2 + _43;
  _45 = _44->p_paddr;
  _46 = _45 >> 24;
  _47 = (long long unsigned int) _46;
  _48 = (long long unsigned int) _45;
  _49 = _48 << 24;
  _50 = _49 & 4294967295;
  _51 = _47 | _50;
  _52 = _48 >> 8;
  _53 = _52 & 65280;
  _54 = _51 | _53;
  _55 = _48 << 8;
  _56 = _55 & 16711680;
  _57 = _54 | _56;
  *pu64LoadPAddr_93(D) = _57;

  <bb 11> [local count: 18974629]:
  # DEBUG BEGIN_STMT
  if (pu64Length_95(D) != 0B)
    goto <bb 12>; [70.00%]
  else
    goto <bb 13>; [30.00%]

  <bb 12> [local count: 13282240]:
  # DEBUG BEGIN_STMT
  _58 = pElfFile_88(D)->u32ProgScanIdx;
  _59 = _58 * 32;
  _60 = _2 + _59;
  _61 = _60->p_memsz;
  _62 = _61 >> 24;
  _63 = (long long unsigned int) _62;
  _64 = (long long unsigned int) _61;
  _65 = _64 << 24;
  _66 = _65 & 4294967295;
  _67 = _63 | _66;
  _68 = _64 >> 8;
  _69 = _68 & 65280;
  _70 = _67 | _69;
  _71 = _64 << 8;
  _72 = _71 & 16711680;
  _73 = _70 | _72;
  *pu64Length_95(D) = _73;

  <bb 13> [local count: 18974629]:
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 1
  # DEBUG BEGIN_STMT
  _74 = pElfFile_88(D)->u32ProgScanIdx;
  _75 = _74 + 1;
  pElfFile_88(D)->u32ProgScanIdx = _75;
  # DEBUG BEGIN_STMT
  goto <bb 16>; [100.00%]

  <bb 14> [local count: 995711397]:
  # DEBUG BEGIN_STMT
  _76 = _77 + 1;
  pElfFile_88(D)->u32ProgScanIdx = _76;

  <bb 15> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _77 = pElfFile_88(D)->u32ProgScanIdx;
  _78 = pElfFile_88(D)->Header.r32.e_phnum;
  _79 = (long unsigned int) _78;
  if (_77 < _79)
    goto <bb 3>; [94.50%]
  else
    goto <bb 16>; [5.50%]

  <bb 16> [local count: 78030429]:
  # bRetVal_80 = PHI <1(13), 0(15)>
  # DEBUG bRetVal => bRetVal_80
  # DEBUG BEGIN_STMT
  return bRetVal_80;

}


ELF32_Load (struct ELF_File_t * pElfFile, uint32_t * u32NamesSectionOffset, uint32_t * u32NamesSectionSize)
{
  bool_t bRetVal;
  struct Elf32_Ehdr * _1;
  short unsigned int _2;
  unsigned char _3;
  short unsigned int _4;
  short unsigned int _5;
  struct Elf32_Shdr * _6;
  unsigned int _7;
  unsigned int _8;
  struct Elf32_Shdr * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  long unsigned int _23;
  long unsigned int _24;
  long unsigned int _25;
  long unsigned int _26;
  long unsigned int _27;
  long unsigned int _28;
  long unsigned int _29;
  short unsigned int _30;
  unsigned int _31;
  unsigned int _32;
  struct Elf32_Shdr * _33;
  long unsigned int _34;
  long unsigned int _35;
  long unsigned int _36;
  long unsigned int _37;
  long unsigned int _38;
  long unsigned int _39;
  long unsigned int _40;
  long unsigned int _41;
  long unsigned int _42;
  long unsigned int _43;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 0
  # DEBUG BEGIN_STMT
  _1 = &pElfFile_46(D)->Header.r32;
  ELF32_HeaderSwitchEndianness (_1);
  # DEBUG BEGIN_STMT
  _2 = pElfFile_46(D)->Header.r32.e_type;
  if (_2 != 2)
    goto <bb 8>; [79.76%]
  else
    goto <bb 3>; [20.24%]

  <bb 3> [local count: 217325345]:
  # DEBUG BEGIN_STMT
  _3 = ELF32_LoadTables (pElfFile_46(D));
  if (_3 == 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 4> [local count: 108662673]:
  # DEBUG BEGIN_STMT
  _4 = pElfFile_46(D)->Header.r32.e_shstrndx;
  if (_4 == 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 5> [local count: 54331336]:
  _5 = pElfFile_46(D)->Header.r32.e_shnum;
  if (_4 >= _5)
    goto <bb 8>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 6> [local count: 27165668]:
  _6 = pElfFile_46(D)->arSectHead32;
  _7 = (unsigned int) _4;
  _8 = _7 * 40;
  _9 = _6 + _8;
  _10 = _9->sh_size;
  _11 = _10 >> 24;
  _12 = _10 << 24;
  _13 = _11 | _12;
  _14 = _10 >> 8;
  _15 = _14 & 65280;
  _16 = _13 | _15;
  _17 = _10 << 8;
  _18 = _17 & 16711680;
  _19 = _16 | _18;
  if (_19 == 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 7> [local count: 13582834]:
  # DEBUG BEGIN_STMT
  _20 = _9->sh_offset;
  _21 = _20 >> 24;
  _22 = _20 << 24;
  _23 = _21 | _22;
  _24 = _20 >> 8;
  _25 = _24 & 65280;
  _26 = _23 | _25;
  _27 = _20 << 8;
  _28 = _27 & 16711680;
  _29 = _26 | _28;
  *u32NamesSectionOffset_50(D) = _29;
  # DEBUG BEGIN_STMT
  _30 = pElfFile_46(D)->Header.r32.e_shstrndx;
  _31 = (unsigned int) _30;
  _32 = _31 * 40;
  _33 = _6 + _32;
  _34 = _33->sh_size;
  _35 = _34 >> 24;
  _36 = _34 << 24;
  _37 = _35 | _36;
  _38 = _34 >> 8;
  _39 = _38 & 65280;
  _40 = _37 | _39;
  _41 = _34 << 8;
  _42 = _41 & 16711680;
  _43 = _40 | _42;
  *u32NamesSectionSize_52(D) = _43;
  # DEBUG BEGIN_STMT
  # DEBUG bRetVal => 1

  <bb 8> [local count: 1073741824]:
  # bRetVal_44 = PHI <0(2), 0(3), 0(4), 0(5), 0(6), 1(7)>
  # DEBUG bRetVal => bRetVal_44
  # DEBUG BEGIN_STMT
  return bRetVal_44;

}


ELF32_HeaderSwitchEndianness (struct Elf32_Ehdr * prElf32Header)
{
  short unsigned int _1;
  short unsigned int _2;
  short unsigned int _3;
  short unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  long unsigned int _23;
  long unsigned int _24;
  long unsigned int _25;
  long unsigned int _26;
  long unsigned int _27;
  long unsigned int _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;
  long unsigned int _34;
  long unsigned int _35;
  long unsigned int _36;
  long unsigned int _37;
  long unsigned int _38;
  long unsigned int _39;
  long unsigned int _40;
  long unsigned int _41;
  long unsigned int _42;
  long unsigned int _43;
  long unsigned int _44;
  long unsigned int _45;
  long unsigned int _46;
  long unsigned int _47;
  long unsigned int _48;
  long unsigned int _49;
  long unsigned int _50;
  long unsigned int _51;
  long unsigned int _52;
  long unsigned int _53;
  long unsigned int _54;
  short unsigned int _55;
  short unsigned int _56;
  short unsigned int _57;
  short unsigned int _58;
  short unsigned int _59;
  short unsigned int _60;
  short unsigned int _61;
  short unsigned int _62;
  short unsigned int _63;
  short unsigned int _64;
  short unsigned int _65;
  short unsigned int _66;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = prElf32Header_68(D)->e_type;
  _2 = _1 r>> 8;
  prElf32Header_68(D)->e_type = _2;
  # DEBUG BEGIN_STMT
  _3 = prElf32Header_68(D)->e_machine;
  _4 = _3 r>> 8;
  prElf32Header_68(D)->e_machine = _4;
  # DEBUG BEGIN_STMT
  _5 = prElf32Header_68(D)->e_version;
  _6 = _5 >> 24;
  _7 = _5 << 24;
  _8 = _6 | _7;
  _9 = _5 >> 8;
  _10 = _9 & 65280;
  _11 = _8 | _10;
  _12 = _5 << 8;
  _13 = _12 & 16711680;
  _14 = _11 | _13;
  prElf32Header_68(D)->e_version = _14;
  # DEBUG BEGIN_STMT
  _15 = prElf32Header_68(D)->e_entry;
  _16 = _15 >> 24;
  _17 = _15 << 24;
  _18 = _16 | _17;
  _19 = _15 >> 8;
  _20 = _19 & 65280;
  _21 = _18 | _20;
  _22 = _15 << 8;
  _23 = _22 & 16711680;
  _24 = _21 | _23;
  prElf32Header_68(D)->e_entry = _24;
  # DEBUG BEGIN_STMT
  _25 = prElf32Header_68(D)->e_phoff;
  _26 = _25 >> 24;
  _27 = _25 << 24;
  _28 = _26 | _27;
  _29 = _25 >> 8;
  _30 = _29 & 65280;
  _31 = _28 | _30;
  _32 = _25 << 8;
  _33 = _32 & 16711680;
  _34 = _31 | _33;
  prElf32Header_68(D)->e_phoff = _34;
  # DEBUG BEGIN_STMT
  _35 = prElf32Header_68(D)->e_shoff;
  _36 = _35 >> 24;
  _37 = _35 << 24;
  _38 = _36 | _37;
  _39 = _35 >> 8;
  _40 = _39 & 65280;
  _41 = _38 | _40;
  _42 = _35 << 8;
  _43 = _42 & 16711680;
  _44 = _41 | _43;
  prElf32Header_68(D)->e_shoff = _44;
  # DEBUG BEGIN_STMT
  _45 = prElf32Header_68(D)->e_flags;
  _46 = _45 >> 24;
  _47 = _45 << 24;
  _48 = _46 | _47;
  _49 = _45 >> 8;
  _50 = _49 & 65280;
  _51 = _48 | _50;
  _52 = _45 << 8;
  _53 = _52 & 16711680;
  _54 = _51 | _53;
  prElf32Header_68(D)->e_flags = _54;
  # DEBUG BEGIN_STMT
  _55 = prElf32Header_68(D)->e_ehsize;
  _56 = _55 r>> 8;
  prElf32Header_68(D)->e_ehsize = _56;
  # DEBUG BEGIN_STMT
  _57 = prElf32Header_68(D)->e_phentsize;
  _58 = _57 r>> 8;
  prElf32Header_68(D)->e_phentsize = _58;
  # DEBUG BEGIN_STMT
  _59 = prElf32Header_68(D)->e_phnum;
  _60 = _59 r>> 8;
  prElf32Header_68(D)->e_phnum = _60;
  # DEBUG BEGIN_STMT
  _61 = prElf32Header_68(D)->e_shentsize;
  _62 = _61 r>> 8;
  prElf32Header_68(D)->e_shentsize = _62;
  # DEBUG BEGIN_STMT
  _63 = prElf32Header_68(D)->e_shnum;
  _64 = _63 r>> 8;
  prElf32Header_68(D)->e_shnum = _64;
  # DEBUG BEGIN_STMT
  _65 = prElf32Header_68(D)->e_shstrndx;
  _66 = _65 r>> 8;
  prElf32Header_68(D)->e_shstrndx = _66;
  return;

}


ELF32_LoadTables (struct ELF_File_t * pElfFile)
{
  bool_t bSectStatus;
  short unsigned int _1;
  const void * _2;
  long unsigned int _3;
  struct Elf32_Phdr * _4;
  short unsigned int _5;
  long unsigned int _6;
  struct Elf32_Shdr * _7;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG bProgStatus => 1
  # DEBUG BEGIN_STMT
  # DEBUG bSectStatus => 0
  # DEBUG BEGIN_STMT
  # DEBUG bProgStatus => 0
  # DEBUG BEGIN_STMT
  _1 = pElfFile_11(D)->Header.r32.e_phentsize;
  if (_1 != 32)
    goto <bb 6>; [66.00%]
  else
    goto <bb 4>; [34.00%]

  <bb 4> [local count: 365072220]:
  # DEBUG BEGIN_STMT
  _2 = pElfFile_11(D)->pvData;
  _3 = pElfFile_11(D)->Header.r32.e_phoff;
  _4 = _2 + _3;
  pElfFile_11(D)->arProgHead32 = _4;
  # DEBUG BEGIN_STMT
  # DEBUG bProgStatus => 1
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 = pElfFile_11(D)->Header.r32.e_shentsize;
  if (_5 != 40)
    goto <bb 6>; [66.00%]
  else
    goto <bb 5>; [34.00%]

  <bb 5> [local count: 124124555]:
  # DEBUG BEGIN_STMT
  _6 = pElfFile_11(D)->Header.r32.e_shoff;
  _7 = _2 + _6;
  pElfFile_11(D)->arSectHead32 = _7;
  # DEBUG BEGIN_STMT
  # DEBUG bSectStatus => 1

  <bb 6> [local count: 1073741824]:
  # bSectStatus_8 = PHI <0(2), 0(4), 1(5)>
  # DEBUG bProgStatus => NULL
  # DEBUG bSectStatus => bSectStatus_8
  # DEBUG BEGIN_STMT
  return bSectStatus_8;

}


