/dports/math/gap/gap-4.11.0/pkg/CAP-2019.06.07/gap/ |
H A D | TheoremParser.gi | 585 local variable_part, source_part, range_part, range_value, range_command, 610 variable_part := NormalizedWhitespace( theorem_string[ 1 ] ); 618 variable_part := SplitString( variable_part, "," ); 620 variable_part := List( variable_part, i -> SplitString( i, ":" ) ); 622 variable_part := List( variable_part, i -> List( i, j -> NormalizedWhitespace( j ) ) ); 922 local variable_part, source_part, range_part, source_filter, range_filter, i; 924 variable_part := SplitString( theorem_string, "|" ); 926 source_part := SPLIT_STRING_MULTIPLE( variable_part[ 2 ], "vdash" ); 932 variable_part := variable_part[ 1 ]; 934 variable_part := NormalizedWhitespace( SplitString( variable_part, ":" )[ 2 ] ); [all …]
|
/dports/devel/tigcc/tigcc-0.96.b8_10/gnu/gcc-4.1-20060728/gcc/ |
H A D | var-tracking.c | 229 } variable_part; typedef 247 variable_part var_part[MAX_VAR_PARTS]; 306 static bool variable_part_different_p (variable_part *, variable_part *); 1196 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/net/rfbproxy/rfbproxy-1.1.1/ |
H A D | rfbproxy.c | 1085 static size_t variable_part (char *buffer) in variable_part() function 1539 length = variable_part (client_buffer); in record() 1674 length = variable_part (client_buffer); in handle_client_during_playback()
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ |
H A D | var-tracking.c | 330 struct variable_part struct 386 variable_part var_part[1]; 661 static bool variable_part_different_p (variable_part *, variable_part *); 4872 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/lang/gcc48/gcc-4.8.5/gcc/ |
H A D | var-tracking.c | 371 } variable_part; typedef 411 variable_part var_part[1]; 545 static bool variable_part_different_p (variable_part *, variable_part *); 4806 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ |
H A D | var-tracking.c | 347 } variable_part; typedef 387 variable_part var_part[1]; 658 static bool variable_part_different_p (variable_part *, variable_part *); 4868 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ |
H A D | var-tracking.c | 330 struct variable_part struct 386 variable_part var_part[1]; 661 static bool variable_part_different_p (variable_part *, variable_part *); 4872 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ |
H A D | var-tracking.c | 371 } variable_part; typedef 411 variable_part var_part[1]; 545 static bool variable_part_different_p (variable_part *, variable_part *); 4829 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ |
H A D | var-tracking.c | 334 struct variable_part struct 390 variable_part var_part[1]; 679 static bool variable_part_different_p (variable_part *, variable_part *); 4931 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ |
H A D | var-tracking.c | 334 struct variable_part struct 390 variable_part var_part[1]; 679 static bool variable_part_different_p (variable_part *, variable_part *); 4930 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ |
H A D | var-tracking.c | 331 struct variable_part struct 387 variable_part var_part[1]; 670 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ |
H A D | var-tracking.c | 332 struct variable_part struct 388 variable_part var_part[1]; 671 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ |
H A D | var-tracking.c | 331 struct variable_part struct 387 variable_part var_part[1]; 670 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ |
H A D | var-tracking.c | 331 struct variable_part struct 387 variable_part var_part[1]; 670 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ |
H A D | var-tracking.c | 332 struct variable_part struct 388 variable_part var_part[1]; 671 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ |
H A D | var-tracking.c | 332 struct variable_part struct 388 variable_part var_part[1]; 671 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ |
H A D | var-tracking.c | 331 struct variable_part struct 387 variable_part var_part[1]; 670 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ |
H A D | var-tracking.c | 331 struct variable_part struct 387 variable_part var_part[1]; 670 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
H A D | ChangeLog-2011 | 7698 (variable_part): Replace offset with union.
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ |
H A D | var-tracking.c | 334 struct variable_part struct 390 variable_part var_part[1]; 679 static bool variable_part_different_p (variable_part *, variable_part *); 4931 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ |
H A D | var-tracking.c | 331 struct variable_part struct 387 variable_part var_part[1]; 670 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ |
H A D | var-tracking.c | 334 struct variable_part struct 390 variable_part var_part[1]; 679 static bool variable_part_different_p (variable_part *, variable_part *); 4931 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ |
H A D | var-tracking.c | 332 struct variable_part struct 388 variable_part var_part[1]; 671 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ |
H A D | var-tracking.c | 332 struct variable_part struct 388 variable_part var_part[1]; 671 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ |
H A D | var-tracking.c | 332 struct variable_part struct 388 variable_part var_part[1]; 671 static bool variable_part_different_p (variable_part *, variable_part *); 4923 variable_part_different_p (variable_part *vp1, variable_part *vp2) in variable_part_different_p()
|