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
update svn url : svn.cri.ensmp.fr -> scm.cri.ensmp.fr

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22051 32a0c1e6-9308-0410-80dd-f9d2257a62c7
patch for bug Ticket #736, when we encounter a negative number for inlining, we use a temporary variable to manage it

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22053 32a0c1e6-9308-0410-80dd-f9d2257a62c7
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
Ticket #736: we must keep the test of a constant expression (0-ary functions are not constant)

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22054 32a0c1e6-9308-0410-80dd-f9d2257a62c7
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
Fix compilation with readline >= 6.3

In readline, the CPPFunction typedef has been deprecated in favour of specific
prototyped typedefs since version 4.2 (april 2001!).  It's been working since
because compatibility typedefs have been in place until they were removed in
readline 6.3.



git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22055 32a0c1e6-9308-0410-80dd-f9d2257a62c7
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
Fixed redundant "const const" in function declarations.
According to the C99 norm, the behavior of a redundant qualifier 
is the same as if it appeared only once.
This fixes ~500 duplicate-decl-specifier warnings with clang/llvm.


git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22057 32a0c1e6-9308-0410-80dd-f9d2257a62c7
Fixed an uninitialized variable

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22058 32a0c1e6-9308-0410-80dd-f9d2257a62c7
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
Fixed another uninitialized variable that caused ~60 warnings in GCC.

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22059 32a0c1e6-9308-0410-80dd-f9d2257a62c7
Fixed a Wsign-compare and a potential segfault, following r22058

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22061 32a0c1e6-9308-0410-80dd-f9d2257a62c7
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