[r18070]

[r18069]

[r18068]

[r18064]

[r18060]

if no hidden conversion happens

[r18058]

[r18046]

[r18045]

[r18044]

[r18043]

[r18042]

[r18037]

- indentation fixed

[r18035]

[r18034]

 - names for base and normal address
 - check for different base entities more agressive
 - type base analysis wants original pointer for type check
Added:
 - classify_pointer() now always detects address_taken flag
 - more agressive offset skipping

[r18033]

   more cases now that were buggy before

[r18027]

[r18025]

[r18015]

- improve output a bit
- code cleanup

[r18013]

[r18005]

[r18004]

[r18002]

[r18000]

[r17989]

[r17988]

[r17987]

[r17986]

[r17980]

[r17979]

[r17978]

[r17973]

[r17967]

[r17966]

[r17965]

[r17964]

[r17963]

[r17962]

- beware of useless code: when searching the left argument of a test instruction, it might be NOT in the same block if it's a Unknown ... This fixes segfault5.c

[r17956]

that new keep-alives could be added because the cf was changed ...
So do NOT delete these new KA ...
This fixes segfault4.c

[r17955]

[r17954]