[r22181]

[r22180]

[r22179]

[r22177]

[r22174]

[r22168]

[r22167]

[r22166]

[r22164]

[r22163]

  switch (x) { default: ... }

[r22161]

[r22160]

- add additional debug output

[r22159]

[r22156]

[r22155]

[r22154]

[r22153]

[r22152]

[r22151]

[r22150]

[r22149]

[r22148]

entity has it's address_taken, was written, read or only parts of it read/written.

[r22147]

[r22146]

[r22145]

[r22144]

[r22143]

[r22141]

transform optimization: leave out some convs and use 32bit compare ops, if the upper bits are guaranteed to be clear

[r22140]

[r22139]

[r22137]

[r22136]

[r22135]

 - undo r22133
 - BugFix: follow always the reference mode side
 - BugFix: NEVER return may_alias in the middle of the disambiguator
 - if two modes have different arithmetic mode, the pointers to are different

[r22134]

[r22133]

[r22130]

[r22129]

 - fixed load \in store condition
 - bit shift only alloed for two-complement
 - combined get_base_ptr() and get_base_offset() into one
 - add checks for following the pointer side
 - handle Sel and Sub cases
 - removed useless stdbool.h include

[r22128]

[r22126]

[r22124]