-(TranslationUnit (SymbolTable 1 {main_program: (Program (SymbolTable 3 {}) main_program [] []), test_subscript: (Subroutine (SymbolTable 2 {A: (Variable 2 A Local () () Default (Integer 4 [((IntegerConstant 1 (Integer 4 [])) (IntegerConstant 5 (Integer 4 [])))]) Source Public Required .false.), B: (Variable 2 B Local () () Default (Integer 4 [((IntegerConstant 1 (Integer 4 [])) (IntegerConstant 2 (Integer 4 [])))]) Source Public Required .false.), i: (Variable 2 i Local () () Default (Integer 4 []) Source Public Required .false.), s: (Variable 2 s Local () () Default (Character 1 -2 () []) Source Public Required .false.)}) test_subscript [] [(= (Var 2 s) (StringConstant "abc" (Character 1 3 () [])) ()) (= (Var 2 s) (ArrayRef 2 s [((BinOp (IntegerConstant 0 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (IntegerConstant 0 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) ())] (Character 1 -2 () []) ()) ()) (= (Var 2 s) (ArrayRef 2 s [((BinOp (IntegerConstant 1 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (IntegerConstant 2 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) ())] (Character 1 -2 () []) ()) ()) (= (Var 2 s) (ArrayRef 2 s [(() () ())] (Character 1 -2 () []) ()) ()) (= (Var 2 s) (ArrayRef 2 s [(() () (BinOp (UnaryOp USub (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) (IntegerConstant -1 (Integer 4 []))) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()))] (Character 1 -2 () []) ()) ()) (= (Var 2 s) (ArrayRef 2 s [(() () (BinOp (IntegerConstant 2 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()))] (Character 1 -2 () []) ()) ()) (= (Var 2 s) (ArrayRef 2 s [((BinOp (IntegerConstant 1 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (IntegerConstant 88 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (IntegerConstant 1 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()))] (Character 1 -2 () []) ()) ()) (= (Var 2 s) (ArrayRef 2 s [((BinOp (IntegerConstant 1 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (IntegerConstant 1 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (UnaryOp USub (IntegerConstant 4 (Integer 4 [])) (Integer 4 []) (IntegerConstant -4 (Integer 4 []))) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()))] (Character 1 -2 () []) ()) ()) (= (Var 2 s) (ArrayRef 2 s [((BinOp (UnaryOp USub (IntegerConstant 89 (Integer 4 [])) (Integer 4 []) (IntegerConstant -89 (Integer 4 []))) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) () (BinOp (IntegerConstant 4 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()))] (Character 1 -2 () []) ()) ()) (= (Var 2 s) (ArrayRef 2 s [((BinOp (UnaryOp USub (IntegerConstant 3 (Integer 4 [])) (Integer 4 []) (IntegerConstant -3 (Integer 4 []))) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (UnaryOp USub (IntegerConstant 3 (Integer 4 [])) (Integer 4 []) (IntegerConstant -3 (Integer 4 []))) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (UnaryOp USub (IntegerConstant 3 (Integer 4 [])) (Integer 4 []) (IntegerConstant -3 (Integer 4 []))) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()))] (Character 1 -2 () []) ()) ()) (= (Var 2 s) (ArrayRef 2 s [((BinOp (IntegerConstant 2 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (IntegerConstant 3 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) ())] (Character 1 -2 () []) ()) ()) (= (Var 2 i) (ArrayRef 2 A [(() (BinOp (IntegerConstant 0 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) ())] (Integer 4 [((IntegerConstant 1 (Integer 4 [])) (IntegerConstant 5 (Integer 4 [])))]) ()) ()) (= (Var 2 B) (ArrayRef 2 A [((BinOp (IntegerConstant 1 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (IntegerConstant 3 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) ())] (Integer 4 [((IntegerConstant 1 (Integer 4 [])) (IntegerConstant 5 (Integer 4 [])))]) ()) ()) (= (Var 2 B) (ArrayRef 2 A [((BinOp (IntegerConstant 1 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (IntegerConstant 2 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()) (BinOp (IntegerConstant 3 (Integer 4 [])) Add (IntegerConstant 1 (Integer 4 [])) (Integer 4 []) () ()))] (Integer 4 [((IntegerConstant 1 (Integer 4 [])) (IntegerConstant 5 (Integer 4 [])))]) ()) ())] Source Public Implementation () .false. .false.)}) [])
0 commit comments