Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/vrp25.c @ 152:2b5abeee2509
update gcc11
author | anatofuz |
---|---|
date | Mon, 25 May 2020 07:50:57 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* { dg-do compile } */ /* { dg-options "-O2 -fno-tree-fre -fdump-tree-vrp1" } */ extern void abort (); extern void arf (); int tree_code_length[100]; void blah (int code1) { unsigned char D18670; if (code1 != 53) goto L0; else goto L1; L0: abort (); L1: D18670 = tree_code_length[53]; if (D18670 <= 1) goto L2; else goto L3; L2: abort (); L3: if (D18670 == 2) goto L4; else goto L5; L4: abort (); L5: arf (); if (code1 != 53) goto L6; else goto L7; L6: abort (); L7: if (D18670 <= 2) goto L8; else goto L9; L8: abort (); L9: return; } /* The second test of (code1 != 53) and the test (D18670 <= 2) are both totally subsumed by earlier tests and thus should be folded away using VRP. */ /* { dg-final { scan-tree-dump-times "if" 3 "vrp1" } } */