[Truffle] Untagged a bunch of passing String specs.

spec/truffle/tags/core/string/chomp_tags.txt

@@ -1,15 +1,10 @@
 fails:String#chomp when passed no argument removes one trailing carrige return, newline pair
-fails:String#chomp when passed no argument taints the result if self is tainted
-fails:String#chomp when passed nil taints the result if self is tainted
 fails:String#chomp when passed '' removes a final newline
 fails:String#chomp when passed '' removes a final carriage return, newline
 fails:String#chomp when passed '' removes more than one trailing newlines
 fails:String#chomp when passed '' removes more than one trailing carriage return, newline pairs
-fails:String#chomp when passed '' taints the result if self is tainted
 fails:String#chomp when passed '\n' removes one trailing carriage return
 fails:String#chomp when passed '\n' removes one trailing carrige return, newline pair
-fails:String#chomp when passed '\n' taints the result if self is tainted
-fails:String#chomp when passed a String taints the result if self is tainted
 fails:String#chomp! raises a RuntimeError on a frozen instance when it is modified
 fails:String#chomp! raises a RuntimeError on a frozen instance when it would not be modified
 fails:String#chomp! when passed no argument returns nil if self is not modified

spec/truffle/tags/core/string/element_reference_tags.txt

@@ -1,34 +1,9 @@
-fails:String#[] calls to_int on the given index
-fails:String#[] with index, length always taints resulting strings when self is tainted
-fails:String#[] with index, length calls to_int on the given index and the given length
 fails:String#[] with index, length returns subclass instances
-fails:String#[] with Range returns an empty string if range.begin is inside self and > real end
-fails:String#[] with Range always taints resulting strings when self is tainted
 fails:String#[] with Range returns subclass instances
 fails:String#[] with Range calls to_int on range arguments
 fails:String#[] with Range works with Range subclasses
-fails:String#[] with Regexp always taints resulting strings when self or regexp is tainted
-fails:String#[] with Regexp returns an untrusted string if the regexp is untrusted
 fails:String#[] with Regexp returns subclass instances
-fails:String#[] with Regexp, index returns the capture for the given index
-fails:String#[] with Regexp, index always taints resulting strings when self or regexp is tainted
-fails:String#[] with Regexp, index returns an untrusted string if the regexp is untrusted
-fails:String#[] with Regexp, index returns nil if there is no match
 fails:String#[] with Regexp, index returns nil if there is no capture for the given index
-fails:String#[] with Regexp, index calls to_int on the given index
 fails:String#[] with Regexp, index returns subclass instances
-fails:String#[] with Regexp, index sets $~ to MatchData when there is a match and nil when there's none
-fails:String#[] with Regexp, group returns the capture for the given name
-fails:String#[] with Regexp, group returns the last capture for duplicate names
-fails:String#[] with Regexp, group returns the innermost capture for nested duplicate names
-fails:String#[] with Regexp, group always taints resulting strings when self or regexp is tainted
-fails:String#[] with Regexp, group returns nil if there is no match
-fails:String#[] with Regexp, group raises an IndexError if there is no capture for the given name
-fails:String#[] with Regexp, group raises an IndexError when given the empty String as a group name
 fails:String#[] with Regexp, group returns subclass instances
-fails:String#[] with Regexp, group sets $~ to MatchData when there is a match and nil when there's none
-fails:String#[] with String returns other_str if it occurs in self
 fails:String#[] with String taints resulting strings when other is tainted
-fails:String#[] with String doesn't set $~
-fails:String#[] with String returns nil if there is no match
-fails:String#[] with String returns a subclass instance when given a subclass instance

spec/truffle/tags/core/string/gsub_tags.txt

@@ -1,12 +1,8 @@
 fails:String#gsub with pattern and replacement treats \+ as an empty string if there was no captures
 fails:String#gsub with pattern and replacement replaces \k named backreferences with the regexp's corresponding capture
-fails:String#gsub with pattern and replacement taints the result if the original string or replacement is tainted
-fails:String#gsub with pattern and replacement untrusts the result if the original string or replacement is untrusted
 fails:String#gsub with pattern and Hash uses the hash's default value for missing keys
 fails:String#gsub with pattern and Hash coerces the hash values with #to_s
 fails:String#gsub with pattern and Hash uses the hash's value set from default_proc for missing keys
-fails:String#gsub with pattern and Hash untrusts the result if the original string is untrusted
-fails:String#gsub with pattern and Hash taints the result if the original string is tainted
 fails:String#gsub! with pattern and Hash uses the hash's default value for missing keys
 fails:String#gsub! with pattern and Hash coerces the hash values with #to_s
 fails:String#gsub! with pattern and Hash uses the hash's value set from default_proc for missing keys
@@ -15,7 +11,6 @@ fails:String#gsub! with pattern and Hash taints self if a hash value is tainted
 fails:String#gsub with pattern and block sets $~ for access from the block
 fails:String#gsub with pattern and block restores $~ after leaving the block
 passes:String#gsub with pattern and block converts the block's return value to a string using to_s
-fails:String#gsub with pattern and block untrusts the result if the original string or replacement is untrusted
 fails:String#gsub! with pattern and replacement taints self if replacement is tainted
 fails:String#gsub! with pattern and replacement untrusts self if replacement is untrusted
 fails:String#gsub! with pattern and block taints self if block's result is tainted

spec/truffle/tags/core/string/initialize_tags.txt

@@ -1,13 +1,5 @@
-fails:String#initialize is a private method
-fails:String#initialize with no arguments does not change self
-fails:String#initialize with no arguments does not raise an exception when frozen
 fails:String#initialize with an argument taints self if other is tainted
-fails:String#initialize with an argument does not untaint self if other is untainted
 fails:String#initialize with an argument untrusts self if other is untrusted
-fails:String#initialize with an argument does not trust self if other is trusted
-fails:String#initialize with an argument replaces the encoding of self with that of other
-fails:String#initialize with an argument carries over the encoding invalidity
 fails:String#initialize with an argument tries to convert other to string using to_str
-fails:String#initialize with an argument raises a TypeError if other can't be converted to string
 fails:String#initialize with an argument raises a RuntimeError on a frozen instance that is modified
 fails:String#initialize with an argument raises a RuntimeError on a frozen instance when self-replacing

spec/truffle/tags/core/string/insert_tags.txt

@@ -1,7 +1,4 @@
 fails:String#insert with index, other converts index to an integer using to_int
 fails:String#insert with index, other converts other to a string using to_str
 fails:String#insert with index, other taints self if string to insert is tainted
-fails:String#insert with index, other raises a TypeError if other can't be converted to string
 fails:String#insert with index, other inserts a character into a multibyte encoded string
-fails:String#insert with index, other returns a String in the compatible encoding
-fails:String#insert with index, other raises an Encoding::CompatibilityError if the encodings are incompatible

spec/truffle/tags/core/string/inspect_tags.txt

@@ -1,20 +1,2 @@
 fails:String#inspect taints the result if self is tainted
 fails:String#inspect untrusts the result if self is untrusted
-fails:String#inspect does not return a subclass instance
-fails:String#inspect returns a string with special characters replaced with \<char> notation
-fails:String#inspect returns a string with " and \ escaped with a backslash
-fails:String#inspect returns a string with \#<char> when # is followed by $, @, {
-fails:String#inspect returns a string with # not escaped when followed by any other character
-fails:String#inspect returns a string with printable non-alphanumeric characters unescaped
-fails:String#inspect returns a string with numeric characters unescaped
-fails:String#inspect returns a string with upper-case alpha characters unescaped
-fails:String#inspect returns a string with lower-case alpha characters unescaped
-fails:String#inspect returns a string with non-printing characters replaced by \x notation
-fails:String#inspect returns a string with a NUL character replaced by \000
-fails:String#inspect when default external is UTF-8 returns a string with non-printing characters replaced by \u notation for Unicode strings
-fails:String#inspect when default external is UTF-8 returns a string with a NUL character replaced by \000
-fails:String#inspect when default external is UTF-8 returns a string with extended characters for Unicode strings
-fails:String#inspect when Encoding.default_internal is nil returns a String with Encoding.default_external encoding if it is ASCII compatible
-fails:String#inspect when Encoding.default_internal is nil returns a String in US-ASCII encoding if Encoding.default_external is not ASCII compatible
-fails:String#inspect when Encoding.default_internal is not nil returns a String with Encoding.default_internal encoding if it is ASCII compatible
-fails:String#inspect when Encoding.default_internal is not nil returns a String in US-ASCII encoding if Encoding.default_internal is not ASCII compatible

spec/truffle/tags/core/string/ljust_tags.txt

@@ -1,8 +1,6 @@
 fails:String#ljust with length, padding taints result when self or padstr is tainted
 fails:String#ljust with length, padding tries to convert length to an integer using to_int
-fails:String#ljust with length, padding raises a TypeError when length can't be converted to an integer
 fails:String#ljust with length, padding tries to convert padstr to a string using to_str
-fails:String#ljust with length, padding raises a TypeError when padstr can't be converted
 fails:String#ljust with length, padding raises an ArgumentError when padstr is empty
 fails:String#ljust with length, padding returns subclass instances when called on subclasses
 fails:String#ljust with length, padding when padding is tainted and self is untainted returns a tainted string if and only if length is longer than self

spec/truffle/tags/core/string/modulo_tags.txt

@@ -1,5 +1,4 @@
 fails:String#% formats multiple expressions
-fails:String#% formats %% into %
 fails:String#% formats single % characters before a newline or NULL as literal %s
 fails:String#% raises an error if single % appears anywhere else
 fails:String#% raises an error if NULL or \n appear anywhere else in the format string
@@ -54,7 +53,6 @@ fails:String#% calls inspect on arguments for %p format
 fails:String#% taints result for %p when argument.inspect is tainted
 fails:String#% supports string formats using %s
 fails:String#% respects a space padding request not as part of the width
-fails:String#% calls to_s on non-String arguments for %s format
 fails:String#% taints result for %s when argument is tainted
 fails:String#% raises an ArgumentError for huge precisions for %s
 fails:String#% supports unsigned formats using %u

spec/truffle/tags/core/string/multiply_tags.txt

@@ -3,4 +3,3 @@ fails:String#* raises an ArgumentError when given integer is negative
 fails:String#* raises a RangeError when given integer is a Bignum
 fails:String#* returns subclass instances
 fails:String#* always taints the result when self is tainted
-fails:String#* returns a String in the same encoding as self

spec/truffle/tags/core/string/ord_tags.txt

@@ -1,6 +1,2 @@
-fails:String#ord returns a Fixnum
-fails:String#ord returns the codepoint of the first character in the String
-fails:String#ord ignores subsequent characters
-fails:String#ord understands multibyte characters
 fails:String#ord is equivalent to #codepoints.first
 fails:String#ord raises an ArgumentError if called on an empty String

spec/truffle/tags/core/string/plus_tags.txt

@@ -1,16 +1,4 @@
 fails:String#+ converts any non-String argument with #to_str
-fails:String#+ raises a TypeError when given any object that fails #to_str
-fails:String#+ taints the result when self or other is tainted
-fails:String#+ when self is in an ASCII-incompatible encoding incompatible with the argument's encoding uses self's encoding if both are empty
-fails:String#+ when self is in an ASCII-incompatible encoding incompatible with the argument's encoding uses self's encoding if the argument is empty
-fails:String#+ when self is in an ASCII-incompatible encoding incompatible with the argument's encoding uses the argument's encoding if self is empty
 fails:String#+ when self is in an ASCII-incompatible encoding incompatible with the argument's encoding raises Encoding::CompatibilityError if neither are empty
-fails:String#+ when the argument is in an ASCII-incompatible encoding incompatible with self's encoding uses self's encoding if both are empty
-fails:String#+ when the argument is in an ASCII-incompatible encoding incompatible with self's encoding uses self's encoding if the argument is empty
-fails:String#+ when the argument is in an ASCII-incompatible encoding incompatible with self's encoding uses the argument's encoding if self is empty
 fails:String#+ when the argument is in an ASCII-incompatible encoding incompatible with self's encoding raises Encoding::CompatibilityError if neither are empty
-fails:String#+ when self and the argument are in different ASCII-compatible encodings uses self's encoding if both are ASCII-only
-fails:String#+ when self and the argument are in different ASCII-compatible encodings uses self's encoding if the argument is ASCII-only
-fails:String#+ when self and the argument are in different ASCII-compatible encodings uses the argument's encoding if self is ASCII-only
 fails:String#+ when self and the argument are in different ASCII-compatible encodings raises Encoding::CompatibilityError if neither are ASCII-only
-fails:String#+ when self is ASCII-8BIT and argument is US-ASCII uses ASCII-8BIT encoding

spec/truffle/tags/core/string/rindex_tags.txt

@@ -1,19 +1,14 @@
-fails:String#rindex with object raises a TypeError if obj isn't a String, Fixnum or Regexp
-fails:String#rindex with object doesn't try to convert obj to an integer via to_int
 fails:String#rindex with object tries to convert obj to a string via to_str
 fails:String#rindex with String behaves the same as String#rindex(char) for one-character strings
 fails:String#rindex with String behaves the same as String#rindex(?char) for one-character strings
 fails:String#rindex with String tries to convert start_offset to an integer via to_int
-fails:String#rindex with String raises a TypeError when given offset is nil
 fails:String#rindex with Regexp behaves the same as String#rindex(string) for escaped string regexps
 fails:String#rindex with Regexp returns the index of the first match from the end of string of regexp
 fails:String#rindex with Regexp sets $~ to MatchData of match and nil when there's none
 fails:String#rindex with Regexp starts the search at the given offset
-fails:String#rindex with Regexp starts the search at offset + self.length if offset is negative
 fails:String#rindex with Regexp returns nil if the substring isn't found
 fails:String#rindex with Regexp supports \G which matches at the given start offset
 fails:String#rindex with Regexp tries to convert start_offset to an integer via to_int
-fails:String#rindex with Regexp raises a TypeError when given offset is nil
 fails:String#rindex with Regexp returns the reverse character index of a multibyte character
 fails:String#rindex with Regexp returns the character index before the finish
 fails:String#rindex with Regexp raises an Encoding::CompatibilityError if the encodings are incompatible

spec/truffle/tags/core/string/rjust_tags.txt

@@ -1,8 +1,6 @@
 fails:String#rjust with length, padding taints result when self or padstr is tainted
 fails:String#rjust with length, padding tries to convert length to an integer using to_int
-fails:String#rjust with length, padding raises a TypeError when length can't be converted to an integer
 fails:String#rjust with length, padding tries to convert padstr to a string using to_str
-fails:String#rjust with length, padding raises a TypeError when padstr can't be converted
 fails:String#rjust with length, padding raises an ArgumentError when padstr is empty
 fails:String#rjust with length, padding returns subclass instances when called on subclasses
 fails:String#rjust with length, padding when padding is tainted and self is untainted returns a tainted string if and only if length is longer than self

spec/truffle/tags/core/string/scan_tags.txt

@@ -1,14 +1,11 @@
 fails:String#scan scans for occurrences of the string if pattern is a string
-fails:String#scan sets $~ to MatchData of last match and nil when there's none
 fails:String#scan tries to convert pattern to a string via to_str
-fails:String#scan raises a TypeError if pattern isn't a Regexp and can't be converted to a String
 fails:String#scan taints the results if the String argument is tainted
 fails:String#scan taints the results when passed a String argument if self is tainted
 fails:String#scan taints the results if the Regexp argument is tainted
 fails:String#scan taints the results when passed a Regexp argument if self is tainted
 fails:String#scan with pattern and block sets $~ for access from the block
 fails:String#scan with pattern and block restores $~ after leaving the block
-fails:String#scan with pattern and block sets $~ to MatchData of last match and nil when there's none for access from outside
 fails:String#scan with pattern and block taints the results if the String argument is tainted
 fails:String#scan with pattern and block taints the results when passed a String argument if self is tainted
 fails:String#scan with pattern and block taints the results if the Regexp argument is tainted

spec/truffle/tags/core/string/slice_tags.txt

@@ -3,11 +3,8 @@ fails:String#slice with Range returns subclass instances
 fails:String#slice with Range calls to_int on range arguments
 fails:String#slice with Range works with Range subclasses
 fails:String#slice with Regexp returns subclass instances
-fails:String#slice with Regexp, index always taints resulting strings when self or regexp is tainted
-fails:String#slice with Regexp, index returns an untrusted string if the regexp is untrusted
 fails:String#slice with Regexp, index returns nil if there is no capture for the given index
 fails:String#slice with Regexp, index returns subclass instances
-fails:String#slice with Regexp, group always taints resulting strings when self or regexp is tainted
 fails:String#slice with Regexp, group returns subclass instances
 fails:String#slice with String taints resulting strings when other is tainted
 fails:String#slice! with index calls to_int on index