added Duff's Device code, (http://en.wikipedia.org/wiki/Duff%27s_device)
which consists on a switch and a while loop interlaced


git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6165 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 732d00b0ec478ef36798ef3c4e66c6588652e8c8
new bug found during inlining of function with negative number argument, bad prettyprint?

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6166 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 65caae82632c4399fd9fcbf20a8b5064b96b89a5
no more a bug (Ticket #736)

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6167 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 28d05b1a5a80ccc016c97db2fce687bd71c2892d
add some tests for inlining

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6168 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 93605466e3b540e0b1677c59ec18c78904609b58
Apple SSL goto fail: display warning for unreachable code

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6169 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: f3dd7452d4dcfca248d13b832879fa7b517669e6
add examples for identity_elimination

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6170 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 39434a995e816a25fbe046777b525069a95690bc
Feron's test case (IEEE Control Systems 2010)

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6171 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: b1b227bc211ee0ea9afaee52da90dccdfddfb6f7
bug in use-def elimination

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6172 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 6ca2e5b1ebc86b555517b9e94cf050f419e50ebe
more bug cases with dead code elimination in presence of if

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6173 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 387b728e50b9c391cd0de547f4fa7dc7632ae563
another example for use def elimination

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6174 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: e0b2310f8ab2c1e9c9421b119d28cc63918c23d7
dead_code_elimination with print use_def_chains leads to news issues

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6175 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 31251a668371662024cc337036c85c594160a0ea
example of bug for use_def_chains in presence of if

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6176 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 8593785626770b4723abecb923a1f1d86dab5700
a fortran version of use-def-chain for if

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6177 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 7fa8b0b76357931428d7dcf130a29538532fc0e7
revert 2 of 3 modified files in r4741 (validation revision) when use-def chains were reimplemented :
-sass11 : the modification lead to a false code
-sgemm : not reanalize all the code but I don't think the affectation on info0 to 0 is useless

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6178 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 518e8cbe8be67a92ce71c58ef8e9826f68ed669a
resolve bug #739 about use-def chains with if statements

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6179 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: ec54f83cc9a614305b8d3db03ed04ab741622c68
modify if(true) by if(rand())

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6180 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: b25edf9b57cf9c3ded2206035129d46d747d6c2d
partially resolve dead_code_elimination (#738) with the correct use-def chains (#739)

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6181 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 02d40aea024f7dbd3b47a52a018291784ab94bcc
correct result after dead_code_elimination for ferron

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6182 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: bf517f37906105b001700f193e17ec0ea247a321
some comments are eliminated due to the modification of the dead_code_elimination

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6183 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 1fab64fe041b3e1a0b840e9f8b56aeb3333304f3
ticket #739: resolution of the bug, deletion of the .bug and generate the reference test result

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6184 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 5f83a39208c4916f064cea99d22e443896f36449