In this section, we introduce three examples that show the high complexity of static program analyses using the polyhedral domain. These examples are extracted during PIPS execution on two benchmarks, PerfectClub and SPEC95.