Summary: 13 instances, 13 unique

Text	Count
// TODO: The compiler can't do a >= comparison, so unneeded dynamic bounds cast.	1
// TODO: Requires bounds widening, so left unchecked.	1
// TODO: compiler isn't constant folding when checking bounds, so we need the spurious (size_t) 1 here.	1
// TODO: This does not go through properly if bounded string is a const char, as it should be	1
/* TODO: Memcpy functions below warn "cannot prove argument meets declared	1
// TODO: The three statements below need to be changed atomically	1
// TODO: Can't prove this	1
// TODO: Needs bounds-widening to be checkable	1
// TODO: Unchecked because memmove doesn't yet take a type argument	1
/* TODO: The way this function deals with end is not well supported by the compiler.	1
// TODO: This function requires bounds widening logic, so is unchecked.	1
// TODO: This should be atomic	1
// TODO: We can't figure this out dynamically	1