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
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
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
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
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
correct an error message for dead_code_elimination

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22062 32a0c1e6-9308-0410-80dd-f9d2257a62c7
minor modif: in error message for dead_code_elimination

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22063 32a0c1e6-9308-0410-80dd-f9d2257a62c7
 ticket #739:
- correct use-def chains for if statements (a global variable was redefine localy instead of using the global one)

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22065 32a0c1e6-9308-0410-80dd-f9d2257a62c7
ticket #739: resolve the bug of dead_code_elimination about the declaration, add a new variable statement_is_a_declaration to tag declaration statements as useful satement

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22067 32a0c1e6-9308-0410-80dd-f9d2257a62c7
undo commit r22067 (it's was about ticket #738 and not #739), the issu don't come from dead_code_elimination but the modification of a property and so some ressources out of date
also add a comment about the phase of declaration_cleaning present in dead_code_elimination

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22068 32a0c1e6-9308-0410-80dd-f9d2257a62c7
Property CONSISTENCY_ENFORCED_P added to prohibit the use of setproperty in a tpips script when it may result in inconsistencies as shown again by Nelson Lossing; to avoid problems, properties should all be set at the veru beginning of a tpips script; but it is not always possible because of the way they are used; more information about impacts by properties would be useful to reduce useless warnings

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22069 32a0c1e6-9308-0410-80dd-f9d2257a62c7
More efforts to enfore PIPS database consistency

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22070 32a0c1e6-9308-0410-80dd-f9d2257a62c7
Extra-parameter added to safe_set_property(); semantics unchanged

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22071 32a0c1e6-9308-0410-80dd-f9d2257a62c7
constant array scalarization updated with sort and static variables and formal parameters added

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22072 32a0c1e6-9308-0410-80dd-f9d2257a62c7
Structuration of section about scalarization; index entry added

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22073 32a0c1e6-9308-0410-80dd-f9d2257a62c7
Oops, not checked in...

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22074 32a0c1e6-9308-0410-80dd-f9d2257a62c7
pipsmake-rc.tex: mostly, information added about scalarization

git-svn-id: https://scm.cri.ensmp.fr/svn/pips/trunk@22075 32a0c1e6-9308-0410-80dd-f9d2257a62c7