[Soot-list] variable name conflict

Quentin Sabah quentin.sabah at inria.fr
Wed Jul 10 10:42:27 EDT 2013


Hi, try with
  -p jb use-original-names:false
instead of -p jj, I know the phase options documentation mention the 
'jj' and 'jb' but I have been always using 'jb' successfully.

If that solves your problem, it could be usefull to open an issue on github.

-- 
Quentin Sabah, CIFRE Ph.D. student
Grenoble University
INRIA-SPADES                   | STMicroelectronics/AST
Montbonnot, France             | Grenoble, France
mailto:quentin.sabah at inria.fr  | mailto:quentin.sabah at st.com
phone: +33 476 61 54 57        | phone: +33 476 58 44 14


More information about the Soot-list mailing list